Function check_impl_against_trait

Source
pub fn check_impl_against_trait(
    genv: GlobalEnv<'_, '_>,
    impl_id: MaybeExternId,
) -> QueryResult