tree 3d74125f4224717ecf6051c7e49947fcd2a90fc5
parent dd8c71e62852b2fe429edb6682ac91fd1c578a26
author Drew Lewis <cannada@google.com> 1700147633 +0000
committer Rasmus Munk Larsen <rmlarsen@google.com> 1701211733 +0000

Ensure that mc is not smaller than Traits::nr