[−][src]Function rustc_typeck::check::compare_method::compare_impl_method
pub fn compare_impl_method<'a, 'tcx>(
tcx: TyCtxt<'a, 'tcx, 'tcx>,
impl_m: &AssociatedItem,
impl_m_span: Span,
trait_m: &AssociatedItem,
impl_trait_ref: TraitRef<'tcx>,
trait_item_span: Option<Span>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Checks that a method from an impl conforms to the signature of the same method as declared in the trait.
Parameters
- impl_m: type of the method we are checking
- impl_m_span: span to use for reporting errors
- trait_m: the method in the trait
- impl_trait_ref: the TraitRef corresponding to the trait implementation