Module rustc_typeck::check::compare_method [−][src]
🔬 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?
Re-exports
use rustc::hir; |
use rustc::hir::ImplItemKind; |
use rustc::hir::TraitItemKind; |
use rustc::infer; |
use rustc::infer::InferOk; |
use rustc::ty; |
use rustc::ty::TyCtxt; |
use rustc::ty::GenericParamDefKind; |
use rustc::ty::util::ExplicitSelf; |
use rustc::traits; |
use rustc::traits::ObligationCause; |
use rustc::traits::ObligationCauseCode; |
use rustc::traits::Reveal; |
use rustc::ty::error::ExpectedFound; |
use rustc::ty::error::TypeError; |
use rustc::ty::subst::Subst; |
use rustc::ty::subst::Substs; |
use rustc::util::common::ErrorReported; |
use syntax_pos::Span; |
use super::Inherited; |
use super::FnCtxt; |
Functions
check_region_bounds_on_impl_method |
[ Experimental ]
|
compare_const_impl |
[ Experimental ]
|
compare_impl_method |
[ Experimental ] Checks that a method from an impl conforms to the signature of the same method as declared in the trait. |
compare_number_of_generics |
[ Experimental ]
|
compare_number_of_method_arguments |
[ Experimental ]
|
compare_predicate_entailment |
[ Experimental ]
|
compare_self_type |
[ Experimental ]
|
compare_synthetic_generics |
[ Experimental ]
|
extract_spans_for_error_reporting |
[ Experimental ]
|