forked from OSchip/llvm-project
85 lines
1.4 KiB
C++
85 lines
1.4 KiB
C++
// RUN: rm -rf %t
|
|
// RUN: mkdir %t
|
|
// RUN: split-file %s %t
|
|
//
|
|
// RUN: %clang_cc1 -xc++ -std=c++20 -fmodules -fmodule-name=library \
|
|
// RUN: -emit-module %t/modules.map \
|
|
// RUN: -o %t/module.pcm
|
|
//
|
|
//
|
|
// RUN: %clang_cc1 -xc++ -std=c++20 -fmodules -fmodule-file=%t/module.pcm \
|
|
// RUN: -fmodule-map-file=%t/modules.map \
|
|
// RUN: -fsyntax-only -verify %t/use.cpp
|
|
//
|
|
//--- use.cpp
|
|
// expected-no-diagnostics
|
|
|
|
#include "concepts.h"
|
|
#include "format.h"
|
|
|
|
template <class T> void foo()
|
|
requires same_as<T, T>
|
|
{}
|
|
|
|
//--- modules.map
|
|
module "library" {
|
|
export *
|
|
module "concepts" {
|
|
export *
|
|
header "concepts.h"
|
|
}
|
|
module "compare" {
|
|
export *
|
|
header "compare.h"
|
|
}
|
|
module "format" {
|
|
export *
|
|
header "format.h"
|
|
}
|
|
}
|
|
|
|
//--- concepts.h
|
|
#ifndef SAMEAS_CONCEPTS_H_
|
|
#define SAMEAS_CONCEPTS_H_
|
|
|
|
#include "same_as.h"
|
|
|
|
#endif // SAMEAS_CONCEPTS_H
|
|
|
|
//--- same_as.h
|
|
#ifndef SAME_AS_H
|
|
#define SAME_AS_H
|
|
|
|
template <class T, class U>
|
|
concept same_as_impl = __is_same(T, U);
|
|
|
|
template <class T, class U>
|
|
concept same_as = same_as_impl<T, U> && same_as_impl<U, T>;
|
|
#endif // SAME_AS_H
|
|
|
|
|
|
//--- compare.h
|
|
#ifndef COMPARE_H
|
|
#define COMPARE_H
|
|
|
|
#include "same_as.h"
|
|
#include "concepts.h"
|
|
|
|
template <class T> void foo()
|
|
requires same_as<T, int>
|
|
{}
|
|
#endif // COMPARE_H
|
|
|
|
//--- format.h
|
|
#ifndef FORMAT_H
|
|
#define FORMAT_H
|
|
|
|
#include "same_as.h"
|
|
#include "concepts.h"
|
|
|
|
template <class T> void bar()
|
|
requires same_as<T, int>
|
|
{}
|
|
|
|
#endif // FORMAT_H
|