Are we in a run of scala.tools.nsc.typechecker.TreeCheckers?
Are we in a secondary constructor after the this constructor call?
To selectively allow enrichment in patterns, where other kinds of implicit conversions are not allowed
Are we retypechecking arguments independently from the function applied to them? See Typer.tryTypedApply
For method context: were returns encountered?
Is this context (enclosed in) a constructor call? (the call to the super or self constructor in the first line of a constructor.
Is this context (enclosed in) a constructor call? (the call to the super or self constructor in the first line of a constructor.) In such a context, the object's fields should not be in scope