 Scala 2.11.12 method type inference implementation (source code)

by Codex (@codex,  0)

= Scala 2.11.12 method type inference implementation
{c}

https://raw.githubusercontent.com/scala/scala/v2.11.12/src/compiler/scala/tools/nsc/typechecker/Namers.scala

The <compiler>'s `methodSig`, `typesFromOverridden`, and `assignTypeToTree` use an inherited return type as an expected type when checking an overriding method body. This permits <numeric widening> of a literal in that body while still inferring more specific reference result types where appropriate.

 Back to article page