Skip to main content

Module codegen

rustc_traits

Module codegen 

Source

Re-exports§

use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_middle::traits::CodegenObligationError; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::PseudoCanonicalInput; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_span::bug; 🔒
use rustc_trait_selection::error_reporting::InferCtxtErrorExt; 🔒
use rustc_trait_selection::traits::FulfillmentErrorCode; 🔒
use rustc_trait_selection::traits::ImplSource; 🔒
use rustc_trait_selection::traits::Obligation; 🔒
use rustc_trait_selection::traits::ObligationCause; 🔒
use rustc_trait_selection::traits::ObligationCtxt; 🔒
use rustc_trait_selection::traits::SelectionContext; 🔒
use rustc_trait_selection::traits::SelectionError; 🔒
use tracing::debug; 🔒

Functions§

codegen_select_candidate 🔒
Attempts to resolve an obligation to an ImplSource. The result is a shallow ImplSource resolution, meaning that we do not (necessarily) resolve all nested obligations on the impl. Note that type check should guarantee to us that all nested obligations could be resolved if we wanted to.