The simplest example that I found that triggers a compiler crash is: type Foo = concept foo foo.get is int FooWrap[F: Foo] = object foo: F proc get(x: int): int = x proc wrap[F: Foo](foo: F): FooWr...