| blob | 6b79e6739a5480437a61e52337b83c408b755a0b |
1 // Copyright (c) Facebook, Inc. and its affiliates.
2 //
3 // This source code is licensed under the MIT license found in the
4 // LICENSE file in the "hack" directory of this source tree.
5 //
6 // @generated SignedSource<<d934ef9f94046cdc9b2d1ebb539b6b40>>
7 //
8 // To regenerate this file, run:
9 // hphp/hack/src/oxidized_regen.sh
11 use arena_trait::TrivialDrop;
12 use no_pos_hash::NoPosHash;
13 use ocamlrep_derive::FromOcamlRep;
14 use ocamlrep_derive::FromOcamlRepIn;
15 use ocamlrep_derive::ToOcamlRep;
16 use serde::Deserialize;
17 use serde::Serialize;
19 #[allow(unused_imports)]
20 use crate::*;
22 #[derive(
23 Clone,
24 Copy,
25 Debug,
26 Deserialize,
27 Eq,
28 FromOcamlRep,
29 FromOcamlRepIn,
30 Hash,
31 NoPosHash,
32 Ord,
33 PartialEq,
34 PartialOrd,
35 Serialize,
36 ToOcamlRep
37 )]
38 pub enum Parsing {
39 FixmeFormat = 1001,
40 ParsingError = 1002,
41 XhpParsingError = 1007,
42 }
43 impl TrivialDrop for Parsing {}
44 arena_deserializer::impl_deserialize_in_arena!(Parsing);
46 #[derive(
47 Clone,
48 Copy,
49 Debug,
50 Deserialize,
51 Eq,
52 FromOcamlRep,
53 FromOcamlRepIn,
54 Hash,
55 NoPosHash,
56 Ord,
57 PartialEq,
58 PartialOrd,
59 Serialize,
60 ToOcamlRep
61 )]
62 pub enum Naming {
63 AddATypehint = 2001,
64 AssertArity = 2003,
65 PrimitiveInvalidAlias = 2004,
66 DidYouMeanNaming = 2006,
67 DisallowedXhpType = 2008,
68 LvarInObjGet = 2011,
69 ErrorNameAlreadyBound = 2012,
70 ExpectedCollection = 2013,
71 ExpectedVariable = 2014,
72 FdNameAlreadyBound = 2015,
73 IllegalClass = 2021,
74 IllegalClassMeth = 2022,
75 IllegalConstant = 2023,
76 IllegalFun = 2024,
77 IllegalInstMeth = 2025,
78 IllegalMethCaller = 2026,
79 IllegalMethFun = 2027,
80 InvalidReqExtends = 2029,
81 InvalidReqImplements = 2030,
82 LowercaseThis = 2032,
83 MethodNameAlreadyBound = 2033,
84 MissingArrow = 2034,
85 MissingTypehint = 2035,
86 NameAlreadyBound = 2036,
87 NamingTooFewArguments = 2037,
88 NamingTooManyArguments = 2038,
89 PrimitiveToplevel = 2039,
90 ShadowedTypeParam = 2041,
91 StartWithT = 2042,
92 ThisMustBeReturn = 2043,
93 ThisNoArgument = 2044,
94 ThisHintOutsideClass = 2045,
95 ThisReserved = 2046,
96 HigherKindedTypesUnsupportedFeature = 2047,
97 UnboundName = 2049,
98 Undefined = 2050,
99 UnexpectedArrow = 2051,
100 UnexpectedTypedef = 2052,
101 UsingInternalClass = 2053,
102 VoidCast = 2054,
103 ObjectCast = 2055,
104 UnsetCast = 2056,
105 IllegalTrait = 2058,
106 DynamicNewInStrictMode = 2060,
107 InvalidTypeAccessRoot = 2061,
108 DuplicateUserAttribute = 2062,
109 ReturnOnlyTypehint = 2063,
110 UnexpectedTypeArguments = 2064,
111 TooManyTypeArguments = 2065,
112 ClassnameParam = 2066,
113 NameIsReserved = 2068,
114 DollardollarUnused = 2069,
115 IllegalMemberVariableClass = 2070,
116 TooFewTypeArguments = 2071,
117 ThisAsLexicalVariable = 2077,
118 DynamicClassNameInStrictMode = 2078,
119 XhpOptionalRequiredAttr = 2079,
120 XhpRequiredWithDefault = 2080,
121 ArrayTypehintsDisallowed = 2082,
122 WildcardHintDisallowed = 2084,
123 MethodNeedsVisibility = 2086,
124 NonstaticPropertyWithLSB = 2094,
125 UnsupportedTraitUseAs = 2102,
126 UnsupportedInsteadOf = 2103,
127 InvalidTraitUseAsVisibility = 2104,
128 InvalidFunPointer = 2105,
129 IllegalUseOfDynamicallyCallable = 2106,
130 ClassMethNonFinalSelf = 2111,
131 ParentInFunctionPointer = 2112,
132 SelfInNonFinalFunctionPointer = 2113,
133 ClassMethNonFinalCLASS = 2114,
134 WildcardTypeParamDisallowed = 2115,
135 InvalidWildcardContext = 2117,
136 }
137 impl TrivialDrop for Naming {}
138 arena_deserializer::impl_deserialize_in_arena!(Naming);
140 #[derive(
141 Clone,
142 Copy,
143 Debug,
144 Deserialize,
145 Eq,
146 FromOcamlRep,
147 FromOcamlRepIn,
148 Hash,
149 NoPosHash,
150 Ord,
151 PartialEq,
152 PartialOrd,
153 Serialize,
154 ToOcamlRep
155 )]
156 pub enum NastCheck {
157 AbstractBody = 3001,
158 AbstractWithBody = 3002,
159 AwaitInSyncFunction = 3003,
160 CallBeforeInit = 3004,
161 CaseFallthrough = 3005,
162 ContinueInSwitch = 3006,
163 DefaultFallthrough = 3008,
164 InterfaceWithMemberVariable = 3009,
165 InterfaceWithStaticMemberVariable = 3010,
166 Magic = 3011,
167 NoConstructParent = 3012,
168 NonInterface = 3013,
169 NotAbstractWithoutBody = 3014,
170 NotInitialized = 3015,
171 NotPublicInterface = 3016,
172 RequiresNonClass = 3017,
173 ReturnInFinally = 3018,
174 ReturnInGen = 3019,
175 ToStringReturnsString = 3020,
176 ToStringVisibility = 3021,
177 ToplevelBreak = 3022,
178 ToplevelContinue = 3023,
179 UsesNonTrait = 3024,
180 IllegalFunctionName = 3025,
181 NotAbstractWithoutTypeconst = 3026,
182 TypeconstDependsOnExternalTparam = 3027,
183 ConstructorRequired = 3030,
184 InterfaceWithPartialTypeconst = 3031,
185 MultipleXhpCategory = 3032,
186 StaticMemoizedFunction = 3041,
187 InoutParamsSpecial = 3043,
188 InoutParamsMemoize = 3045,
189 ReadingFromAppend = 3047,
190 InoutArgumentBadExpr = 3050,
191 IllegalDestructor = 3056,
192 RequiresFinalClass = 3072,
193 InterfaceUsesTrait = 3073,
194 NonstaticMethodInAbstractFinalClass = 3074,
195 SwitchNonTerminalDefault = 3081,
196 SwitchMultipleDefault = 3082,
197 RepeatedRecordFieldName = 3083,
198 PhpLambdaDisallowed = 3084,
199 EntryPointArguments = 3085,
200 VariadicMemoize = 3086,
201 AbstractMethodMemoize = 3087,
202 InstancePropertyInAbstractFinalClass = 3088,
203 DynamicallyCallableReified = 3089,
204 IllegalContext = 3090,
205 ListRvalue = 3092,
206 PartiallyAbstractTypeconstDefinition = 3093,
207 EntryPointGenerics = 3094,
208 }
209 impl TrivialDrop for NastCheck {}
210 arena_deserializer::impl_deserialize_in_arena!(NastCheck);
212 #[derive(
213 Clone,
214 Copy,
215 Debug,
216 Deserialize,
217 Eq,
218 FromOcamlRep,
219 FromOcamlRepIn,
220 Hash,
221 NoPosHash,
222 Ord,
223 PartialEq,
224 PartialOrd,
225 Serialize,
226 ToOcamlRep
227 )]
228 pub enum Typing {
229 UninstantiableClass = 4002,
230 ArrayAccessRead = 4005,
231 ArrayAppend = 4006,
232 ArrayCast = 4007,
233 ArrayGetArity = 4008,
234 BadCall = 4009,
235 ConstMutation = 4011,
236 ConstructorNoArgs = 4012,
237 CyclicClassDef = 4013,
238 CyclicTypedef = 4014,
239 DiscardedAwaitable = 4015,
240 IssetEmptyInStrict = 4016,
241 EnumConstantTypeBad = 4018,
242 EnumSwitchNonexhaustive = 4019,
243 EnumSwitchNotConst = 4020,
244 EnumSwitchRedundant = 4021,
245 EnumSwitchRedundantDefault = 4022,
246 EnumSwitchWrongClass = 4023,
247 EnumTypeBad = 4024,
248 ExpectedClass = 4026,
249 ExpectedLiteralFormatString = 4027,
250 ExpectedTparam = 4029,
251 ExpectingReturnTypeHint = 4030,
252 ExpectingTypeHint = 4032,
253 ExpectingTypeHintVariadic = 4033,
254 ExtendFinal = 4035,
255 FieldKinds = 4036,
256 FormatString = 4038,
257 FunArityMismatch = 4039,
258 FunTooFewArgs = 4040,
259 FunTooManyArgs = 4041,
260 FunUnexpectedNonvariadic = 4042,
261 FunVariadicityHhVsPhp56 = 4043,
262 GenericArrayStrict = 4045,
263 GenericStatic = 4046,
264 ImplementAbstract = 4047,
265 InvalidShapeFieldConst = 4049,
266 InvalidShapeFieldLiteral = 4050,
267 InvalidShapeFieldName = 4051,
268 InvalidShapeFieldType = 4052,
269 MemberNotFound = 4053,
270 MemberNotImplemented = 4054,
271 MissingAssign = 4055,
272 MissingConstructor = 4056,
273 MissingField = 4057,
274 SelfOutsideClass = 4059,
275 NewStaticInconsistent = 4060,
276 StaticOutsideClass = 4061,
277 NonObjectMemberRead = 4062,
278 NullContainer = 4063,
279 NullMemberRead = 4064,
280 OptionReturnOnlyTypehint = 4066,
281 ObjectString = 4067,
282 OptionMixed = 4068,
283 OverrideFinal = 4070,
284 OverridePerTrait = 4071,
285 AbstractCall = 4073,
286 ParentInTrait = 4074,
287 ParentOutsideClass = 4075,
288 ParentUndefined = 4076,
289 PreviousDefault = 4077,
290 PrivateClassMeth = 4078,
291 PrivateInstMeth = 4079,
292 PrivateOverride = 4080,
293 ProtectedClassMeth = 4081,
294 ProtectedInstMeth = 4082,
295 ReadBeforeWrite = 4083,
296 ReturnInVoid = 4084,
297 ShapeFieldClassMismatch = 4085,
298 ShapeFieldTypeMismatch = 4086,
299 ShouldBeOverride = 4087,
300 SmemberNotFound = 4090,
301 StaticDynamic = 4091,
302 ThisVarOutsideClass = 4095,
303 TupleSyntax = 4100,
304 TypeArityMismatch = 4101,
305 TypingTooFewArgs = 4104,
306 TypingTooManyArgs = 4105,
307 UnboundGlobal = 4106,
308 UnboundNameTyping = 4107,
309 UndefinedField = 4108,
310 UndefinedParent = 4109,
311 UnifyError = 4110,
312 UnsatisfiedReq = 4111,
313 Visibility = 4112,
314 VisibilityExtends = 4113,
315 WrongExtendKind = 4115,
316 GenericUnify = 4116,
317 NullsafeNotNeeded = 4117,
318 TrivialStrictEq = 4118,
319 VoidUsage = 4119,
320 DeclaredCovariant = 4120,
321 DeclaredContravariant = 4121,
322 StrictMembersNotKnown = 4123,
323 ErasedGenericAtRuntime = 4124,
324 AttributeTooManyArguments = 4126,
325 AttributeParamType = 4127,
326 DeprecatedUse = 4128,
327 AbstractConstUsage = 4129,
328 CannotDeclareConstant = 4130,
329 CyclicTypeconst = 4131,
330 NullsafePropertyWriteContext = 4132,
331 NoreturnUsage = 4133,
332 UnsetNonidxInStrict = 4135,
333 InvalidShapeFieldNameEmpty = 4136,
334 ShapeFieldsUnknown = 4138,
335 InvalidShapeRemoveKey = 4139,
336 ShapeFieldUnset = 4141,
337 AbstractConcreteOverride = 4142,
338 LocalVariableModifedAndUsed = 4143,
339 LocalVariableModifedTwice = 4144,
340 AssignDuringCase = 4145,
341 CyclicEnumConstraint = 4146,
342 UnpackingDisallowed = 4147,
343 InvalidClassname = 4148,
344 InvalidMemoizedParam = 4149,
345 IllegalTypeStructure = 4150,
346 NotNullableCompareNullTrivial = 4151,
347 AttributeTooFewArguments = 4153,
348 UnificationCycle = 4155,
349 KeysetSet = 4156,
350 EqIncompatibleTypes = 4157,
351 ContravariantThis = 4158,
352 RequiredFieldIsOptional = 4163,
353 FinalProperty = 4164,
354 ArrayGetWithOptionalField = 4165,
355 UnknownFieldDisallowedInShape = 4166,
356 NullableCast = 4167,
357 DollardollarLvalue = 4176,
358 DuplicateUsingVar = 4178,
359 IllegalDisposable = 4179,
360 EscapingDisposable = 4180,
361 InoutAnnotationMissing = 4182,
362 InoutAnnotationUnexpected = 4183,
363 InoutnessMismatch = 4184,
364 StaticSyntheticMethod = 4185,
365 TraitReuse = 4186,
366 InvalidNewDisposable = 4187,
367 EscapingDisposableParameter = 4188,
368 AcceptDisposableInvariant = 4189,
369 InvalidDisposableHint = 4190,
370 XhpRequired = 4191,
371 EscapingThis = 4192,
372 IllegalXhpChild = 4193,
373 MustExtendDisposable = 4194,
374 InvalidIsAsExpressionHint = 4195,
375 AssigningToConst = 4196,
376 SelfConstParentNot = 4197,
377 OverridingPropConstMismatch = 4204,
378 InvalidReturnDisposable = 4205,
379 InvalidDisposableReturnHint = 4206,
380 ReturnDisposableMismatch = 4207,
381 InoutArgumentBadType = 4208,
382 EnumTypeTypedefNonnull = 4219,
383 AmbiguousLambda = 4222,
384 EllipsisStrictMode = 4223,
385 UntypedLambdaStrictMode = 4224,
386 OutputInWrongContext = 4226,
387 StaticPropertyInWrongContext = 4228,
388 WrongExpressionKindAttribute = 4231,
389 DeclOverrideMissingHint = 4236,
390 ExtendSealed = 4238,
391 ComparisonInvalidTypes = 4240,
392 ShapesKeyExistsAlwaysTrue = 4249,
393 ShapesKeyExistsAlwaysFalse = 4250,
394 ShapesMethodAccessWithNonExistentField = 4251,
395 NonClassMember = 4252,
396 AmbiguousObjectAccess = 4256,
397 RePrefixedNonString = 4274,
398 BadRegexPattern = 4275,
399 LateInitWithDefault = 4277,
400 OverrideMemoizeLSB = 4278,
401 ClassVarTypeGenericParam = 4279,
402 InvalidSwitchCaseValueType = 4280,
403 StringCast = 4281,
404 BadLateInitOverride = 4282,
405 OverrideLSB = 4284,
406 MultipleConcreteDefs = 4285,
407 InvalidMoveUse = 4287,
408 InvalidMoveTarget = 4288,
409 UnexpectedTy = 4291,
410 UnserializableType = 4292,
411 OptionNull = 4295,
412 UnknownObjectMember = 4296,
413 UnknownType = 4297,
414 InvalidArrayKeyRead = 4298,
415 RedeclaringMissingMethod = 4301,
416 InvalidEnforceableTypeArgument = 4302,
417 RequireArgsReify = 4303,
418 TypecheckerTimeout = 4304,
419 InvalidReifiedArgument = 4305,
420 GenericsNotAllowed = 4306,
421 InvalidNewableTypeArgument = 4307,
422 InvalidNewableTypeParamConstraints = 4308,
423 NewWithoutNewable = 4309,
424 NewClassReified = 4310,
425 MemoizeReified = 4311,
426 ConsistentConstructReified = 4312,
427 MethodVariance = 4313,
428 MissingXhpRequiredAttr = 4314,
429 BadXhpAttrRequiredOverride = 4315,
430 UnresolvedTypeVariable = 4317,
431 InvalidSubString = 4318,
432 InvalidArrayKeyConstraint = 4319,
433 OverrideNoDefaultTypeconst = 4320,
434 ShapeAccessWithNonExistentField = 4321,
435 DisallowPHPArraysAttr = 4322,
436 TypeConstraintViolation = 4323,
437 IndexTypeMismatch = 4324,
438 ExpectedStringlike = 4325,
439 TypeConstantMismatch = 4326,
440 ConstantDoesNotMatchEnumType = 4328,
441 EnumConstraintMustBeArraykey = 4329,
442 EnumSubtypeMustHaveCompatibleConstraint = 4330,
443 ParameterDefaultValueWrongType = 4331,
444 NewtypeAliasMustSatisfyConstraint = 4332,
445 MissingReturnInNonVoidFunction = 4336,
446 InoutReturnTypeMismatch = 4337,
447 ClassConstantValueDoesNotMatchHint = 4338,
448 ClassPropertyInitializerTypeDoesNotMatchHint = 4339,
449 BadDeclOverride = 4340,
450 BadMethodOverride = 4341,
451 BadEnumExtends = 4342,
452 XhpAttributeValueDoesNotMatchHint = 4343,
453 TraitPropConstClass = 4344,
454 EnumUnderlyingTypeMustBeArraykey = 4345,
455 ClassGetReified = 4346,
456 RequireGenericExplicit = 4347,
457 ClassConstantTypeMismatch = 4348,
458 RecordInitValueDoesNotMatchHint = 4351,
459 AbstractTconstNotAllowed = 4352,
460 NewAbstractRecord = 4353,
461 RecordMissingRequiredField = 4354,
462 RecordUnknownField = 4355,
463 CyclicRecordDef = 4356,
464 InvalidDestructure = 4357,
465 StaticMethWithClassReifiedGeneric = 4358,
466 SplatArrayRequired = 4359,
467 SplatArrayVariadic = 4360,
468 ExceptionOccurred = 4361,
469 InvalidReifiedFunctionPointer = 4362,
470 BadFunctionPointerConstruction = 4363,
471 NotARecord = 4364,
472 TraitReuseInsideClass = 4365,
473 RedundantGeneric = 4366,
474 ArrayAccessWrite = 4370,
475 InvalidArrayKeyWrite = 4371,
476 NullMemberWrite = 4372,
477 NonObjectMemberWrite = 4373,
478 ConcreteConstInterfaceOverride = 4374,
479 MethCallerTrait = 4375,
480 DuplicateInterface = 4377,
481 TypeParameterNameAlreadyUsedNonShadow = 4378,
482 IllegalInformationFlow = 4379,
483 ContextImplicitPolicyLeakage = 4380,
484 ReifiedFunctionReference = 4381,
485 ClassMethAbstractCall = 4382,
486 KindMismatch = 4383,
487 UnboundNameTypeConstantAccess = 4384,
488 UnknownInformationFlow = 4385,
489 CallsiteCIPPMismatch = 4386,
490 NonpureFunctionCall = 4387,
491 IncompatibleEnumInclusion = 4388,
492 RedeclaringClassishConstant = 4389,
493 CallCoeffects = 4390,
494 AbstractFunctionPointer = 4391,
495 UnnecessaryAttribute = 4392,
496 InheritedMethodCaseDiffers = 4393,
497 AtomUnknown = 4394,
498 AtomInvalidParameter = 4395,
499 AtomAsExpression = 4396,
500 AtomInvalidArgument = 4397,
501 IFCInternalError = 4398,
502 IFCExternalContravariant = 4399,
503 IFCPolicyMismatch = 4400,
504 OpCoeffects = 4401,
505 ImplementsDynamic = 4402,
506 SubtypeCoeffects = 4403,
507 ImmutableLocal = 4404,
508 EnumClassesReservedSyntax = 4405,
509 NonsenseMemberSelection = 4406,
510 ConsiderMethCaller = 4407,
511 EnumSupertypingReservedSyntax = 4408,
512 ReadonlyValueModified = 4409,
513 ReadonlyMismatch = 4411,
514 ExplicitReadonlyCast = 4412,
515 ReadonlyMethodCall = 4413,
516 StrictStrConcatTypeMismatch = 4414,
517 StrictStrInterpTypeMismatch = 4415,
518 InvalidMethCallerCallingConvention = 4416,
519 UnsafeCast = 4417,
520 ReadonlyException = 4418,
521 InvalidTypeHint = 4419,
522 ExperimentalExpressionTrees = 4420,
523 ReturnsWithAndWithoutValue = 4421,
524 NonVoidAnnotationOnReturnVoidFun = 4422,
525 BitwiseMathInvalidArgument = 4423,
526 CyclicClassConstant = 4424,
527 PrivateDynamicRead = 4425,
528 PrivateDynamicWrite = 4426,
529 IncDecInvalidArgument = 4427,
530 ReadonlyClosureCall = 4428,
531 MathInvalidArgument = 4429,
532 TypeconstConcreteConcreteOverride = 4430,
533 PrivateMethCaller = 4431,
534 ProtectedMethCaller = 4432,
535 BadConditionalSupportDynamic = 4433,
536 ReadonlyInvalidAsMut = 4434,
537 InvalidKeysetValue = 4435,
538 UnresolvedTypeVariableProjection = 4436,
539 }
540 impl TrivialDrop for Typing {}
541 arena_deserializer::impl_deserialize_in_arena!(Typing);
543 #[derive(
544 Clone,
545 Copy,
546 Debug,
547 Deserialize,
548 Eq,
549 FromOcamlRep,
550 FromOcamlRepIn,
551 Hash,
552 NoPosHash,
553 Ord,
554 PartialEq,
555 PartialOrd,
556 Serialize,
557 ToOcamlRep
558 )]
559 pub enum Init {
560 ForwardCompatibilityNotCurrent = 8001,
561 ForwardCompatibilityBelowMinimum = 8002,
562 }
563 impl TrivialDrop for Init {}
564 arena_deserializer::impl_deserialize_in_arena!(Init);