blob: 665836088beffc63842a698f7f733b92b6a1a9cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
mod core {
mod ops {
#[lang = "add"]
pub trait Add<Rhs = Self> {
type Output;
fn add(self, rhs: Rhs) -> Self::Output;
}
}
}
pub fn foo<T: core::ops::Add<Output = i32>>(a: T) -> i32 {
// { dg-error "bounds not satisfied for f32 .Add. is not satisfied" "" { target *-*-* } .-1 }
a + a
}
pub fn main() {
foo(123f32);
}
|
