Skip to content

impl Drop return type results in impl Sized #16338

@Veykril

Description

@Veykril
fn impl_drop() -> impl Drop {
    let rec = impl_drop(); // incorrectly renders `impl Sized` in the hint
}

fn impl_sized() -> impl Sized {
    let rec = impl_sized(); // correctly renders `impl Sized` in the hint
}

fn impl_copy() -> impl Copy {
    let rec = impl_copy(); // correctly renders `impl Copy` in the hint
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-tytype system / type inference / traits / method resolutionC-bugCategory: bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions