{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
        let var = if let CanonicalizeMode::Input(CanonicalizeInputKind::Predicate {
            is_hir_typeck_root_goal: true,