Skip to content

Internal error looking up a definition [E0242] with where clause on type alias #22471

Closed
@nwoeanhinnogaehr

Description

@nwoeanhinnogaehr

Trying to compile this:

type Foo<T> where T: Copy = Box<T>;

gives the following:

<anon>:1:22: 1:26 error: internal error looking up a definition [E0242]
<anon>:1 type Foo<T> where T: Copy = Box<T>;
                              ^~~~

I'm not entirely sure if this is actually legal, but regardless it seems odd that an "internal error" is exposed to the user in the same way that regular compiler errors are.

rustc 1.0.0-nightly (b63cee4a1 2015-02-14 17:01:11 +0000)

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemE-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions