A simple utility function to check that a type has the required value and report an error if that test fails.
(Context ctxt, String where, Type got, Type wanted)
source not stored for this graph (policy: none)
no test coverage detected