Skip to content

#[const_trait] and super trait error #100222

Closed
@fee1-dead

Description

@fee1-dead

I tried this code:

#![feature(const_trait_impl)]

#[const_trait]
pub trait Index {
    type Output;
}

#[const_trait]
pub trait IndexMut: Index {
    fn foo(&mut self) -> <Self as Index>::Output;
}

I expected to see this happen: compiles
Instead, this happened: errors

Meta

latest nightly

Metadata

Metadata

Assignees

Labels

C-bugCategory: This is a bug.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions