Null
    static RecordExhaustivenessResult createNotExhaustiveResult() {
      return new RecordExhaustivenessResult(false, true);
    }

  
Null
    static RecordExhaustivenessResult createNotExhaustiveResult() {
 