46 lines · cpp
1// RUN: %clang_cc1 -std=c++2a -emit-pch %s -o %t2// RUN: %clang_cc1 -std=c++2a -include-pch %t -verify %s3 4// RUN: %clang_cc1 -std=c++2a -emit-pch -fpch-instantiate-templates %s -o %t5// RUN: %clang_cc1 -std=c++2a -include-pch %t -verify %s6 7// expected-no-diagnostics8 9#ifndef HEADER10#define HEADER11 12auto l1 = []<int I>() constexpr -> int {13 return I;14};15 16auto l2 = []<auto I>() constexpr -> decltype(I) {17 return I;18};19 20auto l3 = []<class T>(auto i) constexpr -> T {21 return T(i);22};23 24auto l4 = []<template<class> class T, class U>(T<U>, auto i) constexpr -> U {25 return U(i);26};27 28#else /*included pch*/29 30static_assert(l1.operator()<5>() == 5);31static_assert(l1.operator()<6>() == 6);32 33static_assert(l2.operator()<7>() == 7);34static_assert(l2.operator()<nullptr>() == nullptr);35 36static_assert(l3.operator()<int>(8.4) == 8);37static_assert(l3.operator()<int>(9.9) == 9);38 39template<typename T>40struct DummyTemplate { };41 42static_assert(l4(DummyTemplate<float>(), 12) == 12.0);43static_assert(l4(DummyTemplate<int>(), 19.8) == 19);44 45#endif // HEADER46