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