Function flux_fhir_analysis::compare_impl_item::check_assoc_reft

source ยท 
fn check_assoc_reft(
    genv: GlobalEnv<'_, '_>,
    impl_id: MaybeExternId,
    trait_id: DefId,
    name: Symbol,
) -> Result<(), ErrorGuaranteed>