diff options
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 2e945683b..64047cc1e 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -949,7 +949,7 @@ trait Applications extends Compatibility { self: Typer => /** The shape of given tree as a type; cannot handle named arguments. */ def typeShape(tree: untpd.Tree): Type = tree match { case untpd.Function(args, body) => - defn.FunctionType(args map Function.const(defn.AnyType), typeShape(body)) + defn.FunctionOf(args map Function.const(defn.AnyType), typeShape(body)) case _ => defn.NothingType } @@ -1068,7 +1068,7 @@ trait Applications extends Compatibility { self: Typer => val alts1 = alts filter pt.isMatchedBy resolveOverloaded(alts1, pt1, targs) - case defn.FunctionType(args, resultType) => + case defn.FunctionOf(args, resultType) => narrowByTypes(alts, args, resultType) case pt => |