Skip to content

Outlives obligations aren't normalized before processing #61

@compiler-errors

Description

@compiler-errors

This code should compile:

trait Tr<'a> {
    type Assoc;
}

fn outlives<'o, T: 'o>() {}

fn foo<'a, 'b, T: Tr<'a, Assoc = ()>>() {
    outlives::<'b, T::Assoc>();
}

Similar to #59, but in the other direction (should pass, but fails).

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions