{"action":"opened","issue":{"url":"https://api.github.com/repos/lampepfl/dotty/issues/1568","repository_url":"https://api.github.com/repos/lampepfl/dotty","labels_url":"https://api.github.com/repos/lampepfl/dotty/issues/1568/labels{/name}","comments_url":"https://api.github.com/repos/lampepfl/dotty/issues/1568/comments","events_url":"https://api.github.com/repos/lampepfl/dotty/issues/1568/events","html_url":"https://github.com/lampepfl/dotty/issues/1568","id":181841270,"number":1568,"title":"Inline crashing compiler after cyclic reference detected.","user":{"login":"nicolasstucki","id":3648029,"avatar_url":"https://avatars.githubusercontent.com/u/3648029?v=3","gravatar_id":"","url":"https://api.github.com/users/nicolasstucki","html_url":"https://github.com/nicolasstucki","followers_url":"https://api.github.com/users/nicolasstucki/followers","following_url":"https://api.github.com/users/nicolasstucki/following{/other_user}","gists_url":"https://api.github.com/users/nicolasstucki/gists{/gist_id}","starred_url":"https://api.github.com/users/nicolasstucki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nicolasstucki/subscriptions","organizations_url":"https://api.github.com/users/nicolasstucki/orgs","repos_url":"https://api.github.com/users/nicolasstucki/repos","events_url":"https://api.github.com/users/nicolasstucki/events{/privacy}","received_events_url":"https://api.github.com/users/nicolasstucki/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/lampepfl/dotty/labels/itype:bug","name":"itype:bug","color":"cc317c"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-10-08T18:27:46Z","updated_at":"2016-10-08T18:27:46Z","closed_at":null,"body":"```scala\r\n  inline def foo(n: Int) = foo(n)\r\n```\r\n\r\n```\r\ntests/main.scala:7: error: cyclic reference involving method foo\r\n  inline def foo(n: Int) = foo(n)\r\n                           ^\r\nexception occurred while typechecking foo.scala\r\nexception occurred while compiling foo.scala\r\nException in thread \"main\" dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of Ident(n) is not assigned\r\n\tat dotty.tools.dotc.ast.Trees$Tree.tpe(Trees.scala:93)\r\n\tat dotty.tools.dotc.ast.Trees$DenotingTree.denot(Trees.scala:226)\r\n\tat dotty.tools.dotc.ast.Trees$Tree.symbol(Trees.scala:144)\r\n\tat dotty.tools.dotc.typer.Inliner$addAccessors$2$.transform(Inliner.scala:143)\r\n\tat dotty.tools.dotc.ast.Trees$Instance$TreeMap$$anonfun$transform$2.apply(Trees.scala:1161)\r\n\tat dotty.tools.dotc.ast.Trees$Instance$TreeMap$$anonfun$transform$2.apply(Trees.scala:1161)\r\n\tat scala.collection.immutable.List.loop$1(List.scala:173)\r\n\tat scala.collection.immutable.List.mapConserve(List.scala:189)\r\n\tat dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1161)\r\n\tat dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1080)\r\n\tat dotty.tools.dotc.typer.Inliner$addAccessors$2$.transform(Inliner.scala:141)\r\n\tat dotty.tools.dotc.typer.Inliner$.dotty$tools$dotc$typer$Inliner$$makeInlineable(Inliner.scala:171)\r\n\tat dotty.tools.dotc.typer.Inliner$$anonfun$registerInlineInfo$1.apply(Inliner.scala:194)\r\n\tat dotty.tools.dotc.typer.Inliner$$anonfun$registerInlineInfo$1.apply(Inliner.scala:191)\r\n\tat dotty.tools.dotc.core.Annotations$LazyBodyAnnotation.tree(Annotations.scala:70)\r\n\tat dotty.tools.dotc.typer.Inliner$.bodyAndAccessors(Inliner.scala:207)\r\n\tat dotty.tools.dotc.typer.Inliner$.bodyToInline(Inliner.scala:216)\r\n\tat dotty.tools.dotc.typer.Typer.inlineExpansion(Typer.scala:1538)\r\n\tat dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1516)\r\n\tat dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1530)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1248)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:1196)\r\n\tat dotty.tools.dotc.util.Stats$.track(Stats.scala:35)\r\n\tat dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1196)\r\n\tat dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1432)\r\n\tat dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1480)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1492)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1490)\r\n\tat dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)\r\n\tat dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)\r\n\tat dotty.tools.dotc.typer.Typer.typed(Typer.scala:1490)\r\n\tat dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1514)\r\n\tat dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1530)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1348)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1339)\r\n\tat dotty.tools.dotc.util.Stats$.track(Stats.scala:35)\r\n\tat dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1339)\r\n\tat dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1470)\r\n\tat dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1482)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1492)\r\n\tat dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1490)\r\n\tat dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)\r\n\tat dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)\r\n\tat dotty.tools.dotc.typer.Typer.typed(Typer.scala:1490)\r\n\tat dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1542)\r\n\tat dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:50)\r\n\tat dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:24)\r\n\tat dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:48)\r\n\tat dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:72)\r\n\tat dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:72)\r\n\tat scala.collection.immutable.List.foreach(List.scala:381)\r\n\tat dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:72)\r\n\tat dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:71)\r\n\tat dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:68)\r\n\tat scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33)\r\n\tat scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186)\r\n\tat dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply$mcV$sp(Run.scala:68)\r\n\tat dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:62)\r\n\tat dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:62)\r\n\tat dotty.tools.dotc.util.Stats$.monitorHeartBeat(Stats.scala:76)\r\n\tat dotty.tools.dotc.Run.compileUnits(Run.scala:62)\r\n\tat dotty.tools.dotc.Run.compileSources(Run.scala:59)\r\n\tat dotty.tools.dotc.Run.compile(Run.scala:43)\r\n\tat dotty.tools.dotc.Driver.doCompile(Driver.scala:26)\r\n\tat dotty.tools.dotc.Driver.process(Driver.scala:124)\r\n\tat dotty.tools.dotc.Driver.process(Driver.scala:93)\r\n\tat dotty.tools.dotc.Driver.process(Driver.scala:105)\r\n\tat dotty.tools.dotc.Driver.main(Driver.scala:132)\r\n\tat dotty.tools.dotc.Main.main(Main.scala)\r\n```"}}
{"actor":{"display_login":"nicolasstucki"}}