{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// Replaces generic types with its corresponding predicate
    pub fn instantiate(self, tcx: TyCtxt<'tcx>, args: ty::GenericArgsRef<'tcx>) -> Self {