blob: 1702fc1ed490e63493dd6d7ad466309761b6f614 [file] [log] [blame]
#![expect(incomplete_features)]
#![feature(dyn_star)]
trait A: B {}
trait B {}
impl A for usize {}
impl B for usize {}
fn main() {
let x: Box<dyn* A> = Box::new(1usize as dyn* A);
let y: Box<dyn* B> = x;
//~^ ERROR mismatched types
}