{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"check_method_is_structurally_compatible(tcx,"}]}
    check_method_is_structurally_compatible(tcx, impl_m, trait_m, impl_trait_ref, false)?;
) -> Result<(), ErrorGuaranteed> {
    compare_method_predicate_entailment(tcx, impl_m, trait_m, impl_trait_ref)?;