{"ast_node_type":"function","tokens":[{"end":54,"kind":"keyword","start":0,"text":"fn"}]}
    fn ty_with_args(&self, args: &GenericArgs) -> Ty {
    /// This will panic if instantiation fails.
        with(|cx| cx.def_ty_with_args(self.def_id(), args))