// check-pass
// compile-flags: -Z chalk

fn main() {
    // FIXME(chalk): Require `RegionOutlives`/`TypeOutlives`/`Subtype` support
    //println!("hello");
}