]> git.lizzy.rs Git - rust.git/blob - tests/ui/impl-trait/in-trait/opaque-in-impl-is-opaque.rs
Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnr
[rust.git] / tests / ui / impl-trait / in-trait / opaque-in-impl-is-opaque.rs
1 #![feature(return_position_impl_trait_in_trait)]
2 #![allow(incomplete_features)]
3
4 use std::fmt::Display;
5
6 trait Foo {
7     fn bar(&self) -> impl Display;
8 }
9
10 impl Foo for () {
11     fn bar(&self) -> impl Display {
12         "Hello, world"
13     }
14 }
15
16 fn main() {
17     let x: &str = ().bar();
18     //~^ ERROR mismatched types
19 }