Avoid insertion of spurious applies when inlining

The test case crashed before, because it encuntered
a selection with an inserted apply, which should be typed
but was not. The fix prevents inserting the apply.

Author: odersky

compiler/src/dotty/tools/dotc/typer/ReTyper.scala

@@ -35,7 +35,7 @@ class ReTyper extends Typer {
 
   override def typedSelect(tree: untpd.Select, pt: Type)(implicit ctx: Context): Tree = {
     assert(tree.hasType, tree)
-    val qual1 = typed(tree.qualifier, AnySelectionProto)
+    val qual1 = typed(tree.qualifier, selectionProto(tree.name, pt, this))
     untpd.cpy.Select(tree)(qual1, tree.name).withType(tree.typeOpt)
   }
 

tests/pos/inline-apply.scala

@@ -0,0 +1,11 @@
+class Context
+
+object Test {
+
+  def transform()(implicit ctx: Context) = {
+    @inline def withLocalOwner[T](op: Context => T) = op(ctx)
+
+    withLocalOwner { implicit ctx => }
+
+  }
+}