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

// check-pass
#![allow(dead_code)]
#![allow(type_alias_bounds)]

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

fn main(){}