Trait rustc::infer::InferEnv
[−]
[src]
pub trait InferEnv<'a, 'tcx> { fn to_parts(self,
tcx: TyCtxt<'a, 'tcx, 'tcx>)
-> (Option<&'a TypeckTables<'tcx>>, Option<TypeckTables<'tcx>>, Option<ParameterEnvironment<'tcx>>); }
🔬 This is a nightly-only experimental API. (
rustc_private
)Required Methods
fn to_parts(self,
tcx: TyCtxt<'a, 'tcx, 'tcx>)
-> (Option<&'a TypeckTables<'tcx>>, Option<TypeckTables<'tcx>>, Option<ParameterEnvironment<'tcx>>)
tcx: TyCtxt<'a, 'tcx, 'tcx>)
-> (Option<&'a TypeckTables<'tcx>>, Option<TypeckTables<'tcx>>, Option<ParameterEnvironment<'tcx>>)
🔬 This is a nightly-only experimental API. (
rustc_private
)Implementors
impl<'a, 'tcx> InferEnv<'a, 'tcx> for ()
impl<'a, 'tcx> InferEnv<'a, 'tcx> for ParameterEnvironment<'tcx>
impl<'a, 'tcx> InferEnv<'a, 'tcx> for (&'a TypeckTables<'tcx>, ParameterEnvironment<'tcx>)
impl<'a, 'tcx> InferEnv<'a, 'tcx> for (TypeckTables<'tcx>, ParameterEnvironment<'tcx>)
impl<'a, 'tcx> InferEnv<'a, 'tcx> for BodyId