Trait rustc::infer::InferEnv

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>>)

🔬 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