Creates a type-checked method definition.
Creates a type-checked method definition.
Must be a method symbol.
The symbols of type parameters (to be substituted with sym.typeParams).
The symbols of all parameters (to be substituted with sym.paramLists).
The body of this method (with parameters substituted), owned by sym.
def method[..tparams](...paramss) = body.
Method (def) definitions.