10 commits

Author	SHA1	Message	Date
Oliver Scherer	888afd50d9	Unify the names of const eval queries and their return types	2020-09-19 10:36:36 +02:00
Oliver Scherer	69a6be73e6	Rename const eval queries to reflect the validation changes	2020-09-19 10:36:36 +02:00
Oliver Scherer	48f366fced	Replace and_then map_err and_then chain with a match	2020-09-19 10:36:36 +02:00
Oliver Scherer	b1bd34df0c	turn_into_const is infallible	2020-09-19 10:36:36 +02:00
Oliver Scherer	4397d66d42	Document op_to_const's purpose	2020-09-19 10:36:36 +02:00
Oliver Scherer	2d7ac728e4	Stop using the const_eval query for initializers of statics ... 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 10:36:36 +02:00
Oliver Scherer	083f1d7a37	Validate constants during const_eval_raw	2020-09-19 10:36:36 +02:00
LeSeulArtichaut	3e14b684dd	Change ty.kind to a method	2020-09-04 17:47:51 +02:00
Dan Aloni	07e7823c01	pretty: trim paths of unique symbols ... 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-09-02 22:26:37 +03:00
mark	9e5f7d5631	mv compiler to compiler/	2020-08-30 18:45:07 +03:00

Renamed from src/librustc_mir/const_eval/eval_queries.rs (Browse further)