InvalidInfers: "invalid-infers" = 'invalid-infers'