{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"};"}]}
    };
            .map_or(default, |i| BoundVar::new(binder, i).to_const(Interner, ty).cast(Interner)),
    Some(Substitution::from_iter(