summary refs log tree commit diff
path: root/tests/ui/contracts
AgeCommit message (Expand)AuthorLines
2025-07-19tests: Require `run-fail` ui tests to have an exit code (`SIGABRT` not ok)Martin Nordholts-20/+20
2025-04-08Fix unreachable expression warningCelina G. Val-55/+10
2025-04-07Enable contracts for const functionsCelina G. Val-9/+144
2025-02-11Rollup merge of #136837 - compiler-errors:contracts-body-lowering, r=celinvalJacob Pratt-0/+29
2025-02-10Don't ICE when failing to lower contracts for associated impl itemsMichael Goulet-0/+29
2025-02-10Stop using span hack for contracts feature gatingMichael Goulet-4/+4
2025-02-03Rename rustc_contract to contractCelina G. Val-72/+429
2025-02-03Improve contracts intrisics and remove wrapper functionCelina G. Val-40/+30
2025-02-03Refactor contract builtin macro + error handlingCelina G. Val-0/+207
2025-02-03Separate contract feature gates for the internal machineryFelix S. Klock II-6/+103
2025-02-03demonstrate how to capture state at precondition time and feed into postcond...Felix S. Klock II-0/+74
2025-02-03Desugars contract into the internal AST extensionsFelix S. Klock II-0/+164
2025-02-03Express contracts as part of function header and lower it to the contract lan...Celina G. Val-0/+118
2025-02-03contracts: added lang items that act as hooks for rustc-injected code to invoke.Felix S. Klock II-0/+47
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+23