blob: eb2349feb29e2affe1c0ef83d7cb927e66e7418e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
// check-pass
#![feature(lint_reasons)]
#![allow(incomplete_features)]
use std::fmt::Display;
pub trait Foo {
fn bar(&self) -> impl Display;
}
impl Foo for i32 {
#[expect(refining_impl_trait)]
fn bar(&self) -> i32 {
*self
}
}
impl Foo for &'static str {
#[expect(refining_impl_trait)]
fn bar(&self) -> &'static str {
*self
}
}
pub struct Yay;
impl Foo for Yay {
#[expect(refining_impl_trait)]
fn bar(&self) -> String {
String::from(":^)")
}
}
fn foo_generically<T: Foo>(t: T) {
println!("{}", t.bar());
}
fn main() {
println!("{}", "Hello, world.".bar());
println!("The answer is {}!", 42.bar());
foo_generically(Yay);
}
|