APITIT get treated as ordinary params in "not all trait impls implemented" error #126395

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

Open

lcnr opened this issue Jun 13, 2024 · 1 comment

Labels

A-diagnostics D-incorrect D-papercut

Contributor

lcnr commented Jun 13, 2024 •

edited

Loading

// crate dep
pub trait Trait {
    fn foo(_: impl Sized);
    fn bar<T>(_: impl Sized);
}
// root
use dep::*;

struct Local;
impl Trait for Local {}

results in the following error:

error[E0046]: not all trait items implemented, missing: `foo`, `bar`
 --> src/main.rs:4:1
  |
4 | impl Trait for Local {}
  | ^^^^^^^^^^^^^^^^^^^^ missing `foo`, `bar` in implementation
  |
  = help: implement the missing item: `fn foo<impl Sized>(_: impl Sized) { todo!() }`
  = help: implement the missing item: `fn bar<T, impl Sized>(_: impl Sized) { todo!() }`

This wrongly includes the APITIT in the generic args. It should be

  = help: implement the missing item: `fn foo(_: impl Sized) { todo!() }`
  = help: implement the missing item: `fn bar<T>(_: impl Sized) { todo!() }`

The text was updated successfully, but these errors were encountered:

rustbot added the needs-triage label

Contributor

veera-sivarajan commented Jun 13, 2024

@rustbot label -needs-triage +A-diagnostics +D-incorrect +D-papercut

rustbot added A-diagnostics D-incorrect D-papercut and removed needs-triage labels

traviscross mentioned this issue

Stabilize associated type position impl Trait (ATPIT) #120700

Open

3 tasks

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