// build-pass (FIXME(62277): could be check-pass?)
// pretty-expanded FIXME #23616

pub type BigRat<T = isize> = T;

fn main() {}