// run-pass

#![allow(dead_code)]
#![allow(unreachable_code)]
// pretty-expanded FIXME #23616

use std::ops::Add;

fn wsucc<T:Add<Output=T> + Copy>(n: T) -> T { n + { return n } }

pub fn main() { }