Searched refs:VerifiableTraitsTupleT (Results 1 – 1 of 1) sorted by relevance
1587 using VerifiableTraitsTupleT = variable1718 failed(op_definition_impl::verifyTraits<VerifiableTraitsTupleT>(op)) || in verifyInvariants()