{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"#[salsa::transparent]"}]}
    #[salsa::transparent]
    #[salsa::invoke(crate::lower::ty_query)]
    fn ty(&self, def: TyDefId) -> Binders<Ty>;