{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
            let Ok(b_ty) = ecx.structurally_normalize_ty(
            // in the other functions below.
                goal.param_env,