Trait GlobalEnvExt

pub trait GlobalEnvExt<'genv, 'tcx> {
    // Required method
    fn infcx_root<'a>(
        self,
        infcx: &'a InferCtxt<'tcx>,
        opts: InferOpts,
    ) -> InferCtxtRootBuilder<'a, 'genv, 'tcx>;
}

Required Methods

fn infcx_root<'a>( self, infcx: &'a InferCtxt<'tcx>, opts: InferOpts, ) -> InferCtxtRootBuilder<'a, 'genv, 'tcx>

Implementations on Foreign Types

impl<'genv, 'tcx> GlobalEnvExt<'genv, 'tcx> for GlobalEnv<'genv, 'tcx>

fn infcx_root<'a>( self, infcx: &'a InferCtxt<'tcx>, opts: InferOpts, ) -> InferCtxtRootBuilder<'a, 'genv, 'tcx>

Implementors