文本文件  |  4行  |  182 B

Tests that we only generate a bound type if we have relevant users.
It also tests a code generator regression for GenerateTestAndBranch which
didn't take into account NullConstants.