{"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"let"}]}
        let args = self.mk_args_from_iter(args.into_iter().map(Into::into));
    ) -> GenericArgsRef<'tcx> {
        self.debug_assert_args_compatible(def_id, args);