Oliver Scherer
7710820d18
Fiddle param env through to try_eval_bits in most places
2019-08-05 17:48:05 +02:00
Oliver Scherer
9b87d22ea8
Don't abort on unevaluated constants without at least tryting to eval them
2019-08-05 17:48:04 +02:00
John Kåre Alsaker
007aabae93
Remove unnecessary lift calls
2019-06-14 21:11:50 +02:00
Eduard-Mihai Burtescu
f3f9d6dfd9
Unify all uses of 'gcx and 'tcx.
2019-06-14 18:58:23 +03:00
Eduard-Mihai Burtescu
17cdd356da
rustc: replace TyCtxt<'tcx, 'gcx, 'tcx> with TyCtxt<'gcx, 'tcx>.
2019-06-12 13:38:27 +03:00
Eduard-Mihai Burtescu
2441253508
Fix fallout from deny(unused_lifetimes).
2019-06-12 13:38:27 +03:00
Eduard-Mihai Burtescu
37799a5552
rustc: replace TyCtxt<'a, 'gcx, 'tcx> with TyCtxt<'tcx, 'gcx, 'tcx>.
2019-06-12 13:38:27 +03:00
varkor
56181cf8ab
Correct pluralisation of tuple/array/associated type binding mismatch errors
2019-05-28 21:35:20 +01:00
varkor
854995313a
Reintroduce TypeError::FixedArraySize
2019-05-28 21:35:20 +01:00
varkor
f13317ca2e
Use Display rather than Debug printing for const mismatch
2019-05-28 21:35:20 +01:00
varkor
193b748d5f
Remove FixedArraySize error
2019-05-28 21:35:20 +01:00
varkor
fc16b0a147
Fix rebase from LazyConst removal
2019-05-01 23:11:19 +01:00
varkor
245a474ab7
Inline ConstError into TypeError
2019-05-01 23:10:57 +01:00
varkor
2254727480
Add ConstError
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:05 +01:00
Oliver Scherer
5cd2806621
Revert the LazyConst PR
2019-03-16 21:04:10 +01:00
Eduard-Mihai Burtescu
4deaa69b42
rustc: print elided regions as '_ instead of nothing, and use a separate check when optional.
2019-03-15 13:25:10 +02:00
Eduard-Mihai Burtescu
fc914aa88a
rustc: centralize region printing in ty::RegionKind's Print impl.
2019-03-15 13:25:10 +02:00
Eduard-Mihai Burtescu
e0c75ff40d
rustc: rename item_path to def_path (except the module in ty).
2019-03-15 13:25:10 +02:00
Niko Matsakis
561ce442de
restore the actual leak-check
2019-02-21 11:32:17 -05:00
Taiki Endo
3216c7656a
Rename rustc_errors dependency in rust 2018 crates
2019-02-13 00:28:52 +09:00
Mark Mansi
e957ed9d10
move librustc to 2018
2019-02-05 12:45:47 -06:00
Andy Russell
0897ffc28f
remove _with_applicability from suggestion fns
2019-01-26 23:07:55 -05:00
bors
2fba17fc97
Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakis
...
Add support for trait-objects without a principal
The hard-error version of #56481 - should be merged after we do something about the `traitobject` crate.
Fixes #33140 .
Fixes #57057 .
r? @nikomatsakis
2019-01-05 03:36:31 +00:00
bors
d6d32ac25d
Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakis
...
Don't emit `Unevaluated` from `const_eval`
cc @eddyb @RalfJung
2019-01-04 17:01:24 +00:00
Ariel Ben-Yehuda
3aa1503a61
add support for principal-less trait object types
...
should be a pure refactoring.
2019-01-04 00:34:52 +02:00
Niko Matsakis
bc4404c0b5
improve handling for subtype
...
Still not great, but good enough to land this PR.
2019-01-02 17:35:06 -05:00
Oliver Scherer
b903cb9d60
Move the Unevaluated constant arm upwards in the type structure
2019-01-01 20:05:02 +01:00
Yuning Zhang
710dcbd381
Improve type mismatch error messages
...
Replace "integral variable" with "integer" and replace
"floating-point variable" with "floating-point number" to make the
message less confusing.
2018-12-31 20:43:08 -05:00
Mark Rousskov
2a663555dd
Remove licenses
2018-12-25 21:08:33 -07:00
scalexm
95861b1590
Move BoundTy debruijn index to the TyKind enum variant
2018-11-24 01:24:40 +01:00
scalexm
05995a8522
Introduce TyKind::Placeholder variant
2018-11-24 01:24:40 +01:00
scalexm
1003b7f85e
Move BoundTy to ty::TyKind
2018-11-03 11:33:14 +01:00
Niko Matsakis
c244fd79f2
kill old-style-lub warnings
2018-10-31 12:11:02 -04:00
Fabian Drinck
2f41c0d194
Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant type
2018-10-20 19:16:23 +02:00
Oliver Scherer
78aaa3e546
Check the invariant for principal inside the method
2018-10-13 11:32:49 +02:00
ljedrz
029e2618d0
rustc/ty: simplify common patterns
2018-10-05 09:00:53 +02:00
ljedrz
91fc573172
rustc/ty: use Cow<str> where applicable
2018-10-05 09:00:39 +02:00
Niko Matsakis
4cd4eae435
rename skolemized to placeholder
2018-10-04 11:02:40 -04:00
scalexm
608adfc3f0
Introduce TyKind::UnnormalizedProjection
2018-10-03 17:06:28 +02:00
Zack M. Davis
5b22d9b2ca
don't elide lifetimes in paths in librustc/
...
This seemed like a good way to kick the tires on the
elided-lifetimes-in-paths lint (#52069 )—seems to work! This was also
pretty tedious—it sure would be nice if `cargo fix` worked on this
codebase (#53896 )!
2018-09-29 21:48:29 -07:00
ms2300
6c14360c32
Changing TyAnon -> TyOpaque and relevant functions
2018-09-05 13:01:16 -06:00
varkor
8a5dccde2a
Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}
2018-08-22 16:08:49 +01:00
varkor
04fa5d3adb
Remove Ty prefix from Ty{Foreign|Param}
2018-08-22 16:07:55 +01:00
varkor
6f637da50c
Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-08-22 16:07:44 +01:00
varkor
87c7e57020
Rename ty::Slice to ty::List
2018-08-22 16:05:27 +01:00
Donato Sciarra
d3fe97f3d3
mv codemap() source_map()
2018-08-19 23:01:01 +02:00
Zack M. Davis
58f660f025
wherein we suggest float for integer literals where a float was expected
...
Sunjay Varma pointed out that this is a nice thing that we could do.
Resolves #53280 .
2018-08-12 10:20:35 -07:00
ljedrz
421b2ba347
Don't format!() string literals
2018-07-28 17:58:52 +02:00
John Kåre Alsaker
fdd9787777
Introduce ConstValue and use it instead of miri's Value for constant values
2018-05-11 13:01:44 +02:00
John Kåre Alsaker
c9d9c249ec
Insert fields from TypeAndMut into TyRef to allow layout optimization
2018-05-08 16:21:58 +02:00
