negative-type-bound (cargo): provides negative type bound
Keywords: type|generic|specialization|bound