blob: 6d4441012e062a0db74da4764d058bacaf1f8675 [file] [log] [blame] [edit]
//@ 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
}
}