Lines Matching refs:Id
30 struct Id : ftl::Constructible<Id, std::int32_t>, ftl::Equatable<Id> { struct
34 static_assert(!std::is_default_constructible_v<Id>);
65 constexpr Id kId{1234};
69 static_assert(ftl::to_underlying(Id(-42)) == -42);
73 static_assert(static_cast<std::int32_t>(Id(-1)) == -1);
76 static_assert(!std::is_convertible_v<std::int32_t, Id>);
77 static_assert(!std::is_convertible_v<Id, std::int32_t>);
80 static_assert(kId == Id(1234));
81 static_assert(kId != Id(123));
157 static_assert(traits::is_equatable_v<Id, Id>);
159 static_assert(!traits::is_equatable_v<Id, Color>);
160 static_assert(!traits::is_equatable_v<Sequence, Id>);
161 static_assert(!traits::is_equatable_v<Id, std::int32_t>);
165 static_assert(!traits::is_orderable_v<Id, Id>);
173 static_assert(!traits::is_incrementable_v<Id>);
178 static_assert(!traits::is_addable_v<Id, Id>);