From 6c164a5d906c657baa045c1d564c63273eb65f31 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 21 Feb 2017 17:50:05 +0100 Subject: Extend argument pretyping to case-closures --- compiler/src/dotty/tools/dotc/ast/TreeInfo.scala | 2 ++ 1 file changed, 2 insertions(+) (limited to 'compiler/src/dotty/tools/dotc/ast/TreeInfo.scala') diff --git a/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala b/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala index bcda4b92f..e48b1039b 100644 --- a/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala +++ b/compiler/src/dotty/tools/dotc/ast/TreeInfo.scala @@ -287,6 +287,8 @@ trait UntypedTreeInfo extends TreeInfo[Untyped] { self: Trees.Instance[Untyped] case ValDef(_, tpt, _) => tpt.isEmpty case _ => false } + case Match(EmptyTree, _) => + true case _ => false } -- cgit v1.2.3