//@ known-bug: #134587 | |
use std::ops::Add; | |
pub fn foo<T>(slf: *const T) | |
where | |
*const T: Add, | |
{ | |
slf + slf; | |
} | |
pub fn foo2<T>(slf: *const T) | |
where | |
*const T: Add<u8>, | |
{ | |
slf + 1_u8; | |
} | |
pub trait TimesTwo | |
where *const Self: Add<*const Self>, | |
{ | |
extern "C" fn t2_ptr(slf: *const Self) | |
-> <*const Self as Add<*const Self>>::Output { | |
slf + slf | |
} | |
} |