generics+traits: Using return type of a trait with a generic causes compiler panic

[hughdavenport]

Hi,

Got the following source:

/// Expect:
/// - output: "OK\n"

struct Thing<T> implements(IntoIterator<T>) {
    function iterator(this) -> Iterable<T> {
	// TODO do something, panics in compiler before checking body
    }
}
function main() {
    println("OK")
}

Compiling this gives the following error:

internal error: Generic trait instance in codegen
/bin/bash: line 1: 2026409 Aborted                 (core dumped) ./build/bin/jakt test.jakt

The following smaller example also panics:

/// Expect:
/// - output: "OK\n"

trait Trait<T> { }
struct Thing<T> {
    function func(this) -> Trait<T> {
	// TODO do something, panics in compiler before checking body
    }
}
function main() {
    println("OK")
}

Unsure of a workaround just yet.

Cheers,

Hugh