{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"ctx:"}]}
    ctx: TyLoweringContext<'a>,
pub(super) struct InferenceTyLoweringContext<'a> {
    diagnostics: &'a Diagnostics,