tree 8e54335db53ee43ca4f348c17e81a91e114b470b
parent 7687ec1fa320d89b37a8c1143b2a22ac325f2da6
author Ben Clayton <bclayton@google.com> 1618585544 +0000
committer Commit Bot service account <commit-bot@chromium.org> 1618585544 +0000

Castable: Add FLAGS template argument for Is,As

[Is,As] contain a static_assert() that checks a cast is actually possible (TO -> FROM share a common base class).
This has been extremely valuable - it's caught numerious impossible casts due to stupid mistakes - however it makes certain generic templates impossible to write.

Add a compile-time FLAGS argument to Is() and As(), which accepts a new kDontErrorOnImpossibleCast flag.
When specified, this static_assert will always pass, allowing impossible casts to be attempted.

Change-Id: I5ff434b329c04d007f4e6976301bf30c73ab3f8d
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/47775
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
Commit-Queue: Ben Clayton <bclayton@google.com>