JetBrains/kotlin — pull request #112 by udalov (2012-07-27 15:23:09+00:00)
Title: KT-2541 VerifyError on substituting type after inheritance from trait

#KT-2541 Fixed