{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"ecx.instantiate_binder_with_infer(source_principal);"}]}
                                ecx.instantiate_binder_with_infer(source_principal);
                            let source_principal =
                            ecx.eq(param_env, source_principal, target_principal)?;