Fix #1605: don't methods that have errors

Author: felixmulder

src/dotty/tools/dotc/typer/Inliner.scala

@@ -140,13 +140,13 @@ object Inliner {
 
       override def transform(tree: Tree)(implicit ctx: Context): Tree = super.transform {
         tree match {
-          case _: Apply | _: TypeApply | _: RefTree if needsAccessor(tree.symbol) =>
+          case _: Apply | _: TypeApply | _: RefTree if tree.hasType && needsAccessor(tree.symbol) =>
             if (tree.isTerm) {
               val (methPart, targs, argss) = decomposeCall(tree)
               addAccessor(tree, methPart, targs, argss,
                   accessedType = methPart.tpe.widen,
                   rhs = (qual, tps, argss) => qual.appliedToTypes(tps).appliedToArgss(argss))
-           } else {
+            } else {
               // TODO: Handle references to non-public types.
               // This is quite tricky, as such types can appear anywhere, including as parts
               // of types of other things. For the moment we do nothing and complain
@@ -168,8 +168,10 @@ object Inliner {
       }
     }
 
-    val tree1 = addAccessors.transform(tree)
-    flatTree(tree1 :: addAccessors.accessors.toList)
+    if (tree.hasType && !tree.tpe.isError) {
+      val tree1 = addAccessors.transform(tree)
+      flatTree(tree1 :: addAccessors.accessors.toList)
+    } else tree
   }
 
   /** Register inline info for given inline method `sym`.

tests/neg/i1605.scala

@@ -0,0 +1,5 @@
+object Test {
+  def foo = inlineMe
+
+  inline def inlineMe = 1 + x
+}