src/test/ui/associated-types/associated-types-issue-17359.rs

// Test that we do not ICE when an impl is missing an associated type (and that we report
// a useful error, of course).

trait Trait {
    type Type;
}

impl Trait for isize {}  //~ ERROR missing: `Type`

fn main() {}