| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-09-19 | Rename const eval queries to reflect the validation changes | Oliver Scherer | -7/+7 | |
| 2020-09-19 | Do not call the `const_eval` query in mir interpretation except for caching ↵ | Oliver Scherer | -1/+1 | |
| of nulary intrinsics | ||||
| 2020-09-19 | Replace `and_then` `map_err` `and_then` chain with a match | Oliver Scherer | -15/+16 | |
| 2020-09-19 | `turn_into_const` is infallible | Oliver Scherer | -11/+7 | |
| 2020-09-19 | Document `op_to_const`'s purpose | Oliver Scherer | -0/+2 | |
| 2020-09-19 | Stop using the `const_eval` query for initializers of statics | Oliver Scherer | -20/+11 | |
| As a side effect, we now represent most promoteds as `ConstValue::Scalar` again. This is useful because all implict promoteds are just references anyway and most explicit promoteds are numeric arguments to `asm!` or SIMD instructions. | ||||
| 2020-09-19 | Validate constants during `const_eval_raw` | Oliver Scherer | -16/+35 | |
| 2020-09-12 | move guaranteed{ne,eq} implementation to compile-time machine | Ralf Jung | -3/+68 | |
| 2020-09-04 | Change ty.kind to a method | LeSeulArtichaut | -4/+4 | |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -2/+4 | |
| If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not. | ||||
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+1212 | |
