{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                self.check_inline_const(inferred_ty, def.expect_local(), args, span);
                self.ascribe_user_type(inferred_ty, annotation, span);