src/test/ui/issues/issue-22471.rs

// build-pass (FIXME(62277): could be check-pass?)
#![allow(dead_code)]
#![allow(type_alias_bounds)]

type Foo<T> where T: Copy = Box<T>;

fn main(){}