An Optional<T> is pod-like if the inner type is.

llvm-svn: 175908
This commit is contained in:
Benjamin Kramer 2013-02-22 18:58:26 +00:00
parent 832de9fcf1
commit 3abc30a497
1 changed files with 6 additions and 0 deletions

View File

@ -142,6 +142,12 @@ template <typename T>
struct simplify_type<Optional<T> >
: public simplify_type<const Optional<T> > {};
template <typename T> struct isPodLike;
template <typename T> struct isPodLike<Optional<T> > {
// An Optional<T> is pod-like if T is.
static const bool value = isPodLike<T>::value;
};
/// \brief Poison comparison between two \c Optional objects. Clients needs to
/// explicitly compare the underlying values and account for empty \c Optional
/// objects.