match CheckImmutable, changed how the matching is reported