effectplan

type Options struct {
	Intrinsic       func(string) bool
	Runtime         func(*ir.RuntimeBinding) bool
	Conversion      func(ir.ConversionKind) bool
	Transform       func(*ir.Transform) bool
	WebNext         bool
	CaptureLambdas  bool
	PassToFunctions bool
	// ResourceSafety closes unknown/native call edges instead of assuming that
	// an unclassified operation has no effect. It is mode-independent.
	ResourceSafety bool
}

type Plan struct {
	Methods           map[*ir.Method]bool
	ParameterDefaults map[*ir.Method]bool
	// ClassConstructors includes direct field defaults and the class's own
	// initialize method, but never an inherited initializer.
	ClassConstructors   map[*ir.Class]bool
	RecordDefaults      map[*ir.Record]bool
	RecordFieldDefaults map[*ir.RecordField]bool
	// RecordConstructDefaults marks sites that evaluate an omitted selected
	// effect. RecordConstructSync marks sites that still need the declaration's
	// helper ABI but supplied every field whose default has that effect.
	RecordConstructDefaults map[*ir.RecordConstruct]bool
	RecordConstructSync     map[*ir.RecordConstruct]bool
	Lambdas                 map[*ir.Lambda]bool
	Calls                   map[*ir.Call]bool
	CallParameterDefaults   map[*ir.Call]bool
	EnumCalls               map[*ir.EnumCall]bool
	EnumCallDefaults        map[*ir.EnumCall]bool
	Expressions             map[ir.Expression]bool
	Iterations              map[*ir.Iterate]bool
	StructuredBlocks        map[*ir.StructuredBlock]bool
	// LambdaModules retains the source module that owns each first-class
	// function. Backend policy can use that identity without moving target-
	// specific suspension rules into shared TypeRB semantics.
	LambdaModules    map[*ir.Lambda]string
	ResourceFailures map[ir.Statement]string
	// contains filtered or unexported fields
}