{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
            // in the other functions below.
            // We need to normalize the b_ty since it's matched structurally
            let Ok(b_ty) = ecx.structurally_normalize_ty(