{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    /// substs of the body, but replaced with region vids.
    /// Returns the args of the `DefiningTy`. These are equivalent to the identity
    pub(crate) fn args(&self) -> ty::GenericArgsRef<'tcx> {