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 necesssary 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.

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