{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
    /// in scope.
    /// use `TypingMode::PostAnalysis`, they may still have where-clauses
    pub fn fully_monomorphized() -> TypingEnv<'tcx> {