Mazdak Farrokhzad
eabdce578b
Rollup merge of #59634 - DevQps:explain-E0704, r=estebank
...
Added an explanation for the E0704 error.
# Description
Adds an explanation on the E0704 error. I tried to stick as closely to the message that the compiler generates. It's the first time I am fixing error messages here, so if there is something I did wrong or should improve, please let me know.
closes #55398
2019-05-02 01:09:23 +02:00
bors
ea68bee369
Auto merge of #60432 - Manishearth:clippyup, r=Manishearth
...
Update clippy
r? @ghost
2019-05-01 23:00:14 +00:00
Manish Goregaokar
badbd956bd
Update clippy
2019-05-01 15:24:52 -07:00
Yuki Okushi
99ebb7a517
Remove Context and ContextKind
2019-05-02 07:12:32 +09:00
varkor
a68ed060bd
Split ct_err
out into CommonConsts
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:12:31 +01:00
varkor
541de81f8e
Create ShallowResolver
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:11:20 +01:00
varkor
1369132afa
Add a test for const args that cannot be inferred
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:11:20 +01:00
varkor
a188850ded
Add a test for incorrect numbers of const args
2019-05-01 23:11:19 +01:00
varkor
16d6ee3952
Fold const in writeback
2019-05-01 23:11:19 +01:00
varkor
c7deb5bdc2
Add a test for const arguments
2019-05-01 23:11:19 +01:00
varkor
a29eca5d82
Fix issue with const params in operand.rs
2019-05-01 23:11:19 +01:00
varkor
beb2f84b31
Resolve FIXME in probe.rs
2019-05-01 23:11:19 +01:00
varkor
388f823c03
Correct name of constrained_generic_params alias
2019-05-01 23:11:19 +01:00
varkor
d8b1ddba9b
Fix unused variable warning
2019-05-01 23:11:19 +01:00
varkor
b872e63585
Fix known-known const unification case
2019-05-01 23:11:19 +01:00
varkor
97c0c6653b
Remove spurious assertion
2019-05-01 23:11:19 +01:00
varkor
67176f751b
Add const-types
test
2019-05-01 23:11:19 +01:00
varkor
5cf45bc27a
Fix rebase issue
2019-05-01 23:11:19 +01:00
varkor
972e254106
Implement const generics for InferenceFudger
2019-05-01 23:11:19 +01:00
varkor
f241693662
Fix missing parenthesis
2019-05-01 23:11:19 +01:00
varkor
d8b9387ace
Take ConstValue::Placeholder into account in new locations
2019-05-01 23:11:19 +01:00
varkor
fc16b0a147
Fix rebase from LazyConst removal
2019-05-01 23:11:19 +01:00
varkor
c888af52be
Replace ConstVariableTable with UnificationTable
2019-05-01 23:10:58 +01:00
varkor
2308d2d68a
Handle ConstValue::Placeholder
in canonicalizer
2019-05-01 23:10:57 +01:00
varkor
e70797b575
Add PlaceholderConst
2019-05-01 23:10:57 +01:00
varkor
f5712d2de0
Add ConstValue::Placeholder
2019-05-01 23:10:57 +01:00
varkor
245a474ab7
Inline ConstError into TypeError
2019-05-01 23:10:57 +01:00
varkor
cf1a719c19
Implement fold_const for BoundVarReplacer
2019-05-01 23:10:57 +01:00
Gabriel Smith
fa394c2283
impl fold_const for Shifter
...
Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-05-01 23:10:57 +01:00
Gabriel Smith
57d3a5a32d
impl visit_const for HasEscapingVarsVisitor
...
Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-05-01 23:10:57 +01:00
Gabriel Smith
c13aa09d49
impl fold_const for TypeFreshener
...
Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-05-01 23:10:57 +01:00
Gabriel Smith
e965b75603
impl mk_const_infer
...
Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-05-01 23:10:57 +01:00
Gabriel Smith
bd2fa222c0
Rename mk_infer to mk_ty_infer
...
Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-05-01 23:10:57 +01:00
Gabriel Smith
7bf175f30c
impl fold_const for RegionFudger
...
Signed-off-by: Gabriel Smith <ga29smith@gmail.com>
2019-05-01 23:10:57 +01:00
varkor
ef1b2acf12
Remove fold_const
override for ReverseMapper
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
ed3dae4aca
Rename *shallow_resolve to *shallow_resolve_type
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
3f675ab038
Drive-by comment fixes
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
d113ff8ada
Handle generic consts in relate and infer
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
69423b3345
Add stubs for fold_const
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
bfc39b9b87
Implement TypeRelation::consts
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
7d71a1c8a4
Add const generics to unification tables
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
b9b9994c72
Define const_unification_error
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
05ac3ac575
Define super_combine_consts
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
d4e0951fff
Add CanonicalVarKind::Const
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
14f906f24e
Define canonicalize_const_var
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
0728b62aca
Add ct_err
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:57 +01:00
varkor
d7fdeffafc
Add generic consts to BottomUpFolder
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:05 +01:00
varkor
77447deb21
Add const_variable.rs
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:05 +01:00
varkor
2254727480
Add ConstError
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:05 +01:00
varkor
cafa10d96e
Define super_relate_consts
...
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-05-01 23:10:05 +01:00