{"ast_node_type":"function","tokens":[{"end":58,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn ty_with_args(&self, args: &GenericArgs) -> Ty {
    /// This will assume the type can be instantiated with these arguments.
        with(|cx| cx.def_ty_with_args(self.def, args))