e4d816e66c
Fixes #109869
19 lines
322 B
Rust
19 lines
322 B
Rust
// ICE 'broken MIR: bad assignment: NoSolution'
|
|
// on trait with default method and no impls
|
|
// issue: rust-lang/rust#109869
|
|
|
|
#![feature(trivial_bounds)]
|
|
trait Empty {}
|
|
|
|
impl Default for dyn Empty
|
|
where
|
|
Self: Sized,
|
|
{
|
|
fn default() -> Self {
|
|
()
|
|
//~^ ERROR mismatched types
|
|
}
|
|
}
|
|
|
|
pub fn main() {}
|