An example of a leaky type completer in Dotty

leaky_completer.scala

// Ensure constructor is completed so that any parameter accessors
// which have type trees deriving from its parameters can be
// completed in turn. Note that parent types access such parameter
// accessors, that's why the constructor needs to be completed before
// the parent types are elaborated.
index(constr)

annotate(constr :: params)
symbolOfTree(constr).ensureCompleted()

indexAndAnnotate(rest)(inClassContext(selfInfo))