NamerOps

The completer of a constructor proxy apply method

Add constructor proxy apply methods to scope. Proxies are for constructors in cls and they reside in modcls.

Add all necessary constructor proxy symbols for members of class cls. This means:

• if a member is a class, or type alias, that needs a constructor companion, add one, provided no member with the same name exists.
• if cls is a companion object of a class that needs a constructor companion, and cls does not already define or inherit an apply method, add apply methods for all constructors of the companion class.

Create a context-bound companion for type symbol tsym, which has a context bound that defines a set of witnesses with names witnessNames.

Add context bound companions to all context-bound types declared in this class. This assumes that these types already have their WitnessNames annotation set even before they are completed. This is the case for unpickling but currently not for Namer. So the method is only called during unpickling.

Given a method with tracked term-parameters p1, ..., pn, and result type R, add the refinements R { p1 = p1' } ... { pn = pn' }, where pi' is the TermParamRef of the parameter and pi is its name. This matters only under experimental.modularity, since without it there are no tracked parameters. Parameter refinements are added for constructors and given companion methods.

Add moduleClass or sourceModule functionality to completer for a module or module class

A new symbol that is the constructor companion for class cls

The completer of a constructor companion for class cls, where modul is the companion symbol and modcls is its class.

The type of the constructed instance is returned

Find moduleClass/sourceModule in effective scope

For secondary constructors, make it known in the context that their type parameters are aliases of the class type parameters.

For secondary constructor sym, make it known in the given context rhsCtx that their type parameters are aliases of the class type parameters. This is done by (ab?)-using GADT constraints. See pos/i941.scala.

Turn modul into a constructor companion for class cls

The method type corresponding to given parameters and result type

Does symbol sym need constructor proxies to be generated?

If isConstructor, make sure it has at least one non-implicit parameter list This is done by adding a () in front of a leading old style implicit parameter, or by adding a () as last -- or only -- parameter list if the constructor has only using clauses as parameters.

The flags of an apply method that serves as a constructor proxy