ceylon/ceylon-spec — comment on commit adb68ca34daff4e0228513173ae407a16d5760e2
File: src/com/redhat/ceylon/compiler/typechecker/model/ProducedType.java line 1134
By FroMage:

Sounds like a bug in the model loader to me.