{"ast_node_type":"variable","tokens":[{"end":31,"kind":"keyword","start":0,"text":"let"}]}
        let is_diverging = self
    fn fallback_value(&self, iv: InferenceVar, kind: TyVariableKind) -> Ty {
            .type_variable_table