coherence now uses fulfillment #93

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Closed

lcnr opened this issue Feb 16, 2024 · 1 comment

Contributor

lcnr commented Feb 16, 2024 •

edited by compiler-errors

Loading

rust-lang/rust#121193

trait Mirror {
    type Assoc;
}
impl<T> Mirror for T {
    type Assoc = T;
}

trait Foo {}
trait Bar {}

impl<T> Foo for T where (): Mirror<Assoc = T> {}
impl<T> Foo for T where T: Bar {}

fn main() {}

now passes with the new solver as constraints from one where-bound can be used to guide another one

lcnr mentioned this issue

Use fulfillment in next trait solver coherence rust-lang/rust#121193

Merged

Contributor Author

lcnr commented Apr 23, 2024

now stabilized (ish)

lcnr closed this as completed

# for free to join this conversation on GitHub. Already have an account? # to comment