luau/Analysis/src
PhoenixWhitefire fba48ae3e4
Add CollapseClauseToAssert lint
Adds the `CollapseClauseToAssert` lint, which triggers in the following code:

```
-- `if`-clause can be collapsed to an `assert`
if X then
    error("SomeErrorMessage")
end
```

* Any number of conditions for the `if`
* No `else` block
* `error` cannot be given a `level` argument
* Error string must be constant (no string interpolation/concatenation) to avoid slowdowns
* Body must _only_ be an `error` call

Inspired due to the following code on luau-lang.org:
https://luau-lang.org/2023/03/31/luau-recap-march-2023.html#:~:text=if%20not%20x%20then%20error(%27first%20argument%20is%20nil%27)%20end
2024-08-11 16:00:44 +05:30
..
Anyification.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
AnyTypeSummary.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
ApplyTypeFunction.cpp Sync to upstream/release/582 (#960) 2023-06-23 23:19:39 -07:00
AstJsonEncoder.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
AstQuery.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Autocomplete.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
BuiltinDefinitions.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Clone.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Constraint.cpp Sync to upstream/release/630 (#1295) 2024-06-14 13:21:20 -07:00
ConstraintGenerator.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
ConstraintSolver.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
DataFlowGraph.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
DcrLogger.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Def.cpp Sync to upstream/release/619 (#1218) 2024-03-30 16:14:44 -07:00
Differ.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
EmbeddedBuiltinDefinitions.cpp Sync to upstream/release/636 (#1346) 2024-07-26 10:47:49 -07:00
Error.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Frontend.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Generalization.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
GlobalTypes.cpp Sync to upstream/release/609 (#1150) 2024-01-19 10:04:46 -08:00
Instantiation.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Instantiation2.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
IostreamHelpers.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
JsonEmitter.cpp Sync to upstream/release/543 (#657) 2022-09-01 16:14:03 -07:00
Linter.cpp Add CollapseClauseToAssert lint 2024-08-11 16:00:44 +05:30
LValue.cpp Sync to upstream/release/527 (#491) 2022-05-19 17:02:24 -07:00
Module.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
NonStrictTypeChecker.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Normalize.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
OverloadResolution.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
Quantify.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Refinement.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
RequireTracer.cpp Sync to upstream/release/532 (#545) 2022-06-16 18:05:14 -07:00
Scope.cpp Sync to upstream/release/616 (#1184) 2024-03-08 16:47:53 -08:00
Simplify.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
Substitution.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
Subtyping.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
Symbol.cpp Sync to upstream/release/588 (#992) 2023-07-28 08:13:53 -07:00
TableLiteralInference.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
ToDot.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TopoSortStatements.cpp Sync to upstream/release/555 (#768) 2022-12-02 10:09:59 -08:00
ToString.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
Transpiler.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TxnLog.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Type.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypeArena.cpp Sync to upstream/release/635 (#1337) 2024-07-19 11:20:47 -07:00
TypeAttach.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypeChecker2.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypedAllocator.cpp Rename Windows.h to windows.h (#1055) 2023-10-03 06:59:44 -07:00
TypeFunction.cpp Sync to upstream/release/638 (#1360) 2024-08-09 10:18:20 -07:00
TypeFunctionReductionGuesser.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypeInfer.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypeOrPack.cpp Sync to upstream/release/600 (#1076) 2023-10-20 18:10:30 -07:00
TypePack.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypePath.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
TypeUtils.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Unifiable.cpp Sync to upstream/release/571 (#895) 2023-04-07 14:01:29 -07:00
Unifier.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00
Unifier2.cpp Sync to upstream/release/637 (#1354) 2024-08-02 07:30:04 -07:00