{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
            let a_ty = goal.predicate.self_ty();
        ecx.probe(|_| ProbeKind::UnsizeAssembly).enter(|ecx| {
            // We need to normalize the b_ty since it's matched structurally