Mazdak Farrokhzad
ca297f8cf4
DefId{Map,Set} -> rustc::hir::def_id
2020-01-04 19:01:42 +01:00
Mazdak Farrokhzad
7901c7f707
canonicalize FxHash{Map,Set} imports
2020-01-04 18:57:22 +01:00
Mazdak Farrokhzad
66f5bf1b8b
extract rustc::middle::codegen_fn_attrs
2020-01-04 18:43:06 +01:00
Mazdak Farrokhzad
c19ed3bc5b
fn adt_kind -> wfcheck
2020-01-04 18:43:05 +01:00
Guillaume Gomez
1140ceebcc
Rollup merge of #67823 - euclio:drop-improvements, r=petrochenkov
...
improve some `Drop`-related error messages
2020-01-04 13:17:29 +01:00
Andy Russell
e9990bc65f
clarify that Drop can be implemented for enums and unions too
2020-01-03 17:57:24 -05:00
Andy Russell
e589358210
improve generic Drop error messages
...
- Use the span of the predicate
- Use the def's description instead of "struct/enum" (notably incorrect
for unions)
- Align formatting with other error messages
2020-01-03 17:57:23 -05:00
Mazdak Farrokhzad
4ff12ce4c1
Normalize syntax::symbol imports.
2020-01-02 13:57:04 +01:00
Mazdak Farrokhzad
75e4783f63
Normalize syntax::source_map imports.
2020-01-02 13:57:04 +01:00
Vadim Petrochenkov
70f1d57048
Rename syntax_pos to rustc_span in source code
2020-01-01 09:15:18 +03:00
Mazdak Farrokhzad
50fb8480db
Rollup merge of #67730 - Centril:typeck-pat-cleanup, r=estebank
...
Cleanup pattern type checking, fix diagnostics bugs (+ improvements)
r? @estebank
2019-12-31 19:19:36 +01:00
Mazdak Farrokhzad
52179c56be
librustc_ast_lowering: fix misc fallout.
2019-12-31 17:56:25 +01:00
bors
71bb0ff33e
Auto merge of #67597 - estebank:placeholder-type, r=oli-obk
...
Suggest type param when encountering `_` in item signatures
Fix #27435 .
2019-12-31 09:50:49 +00:00
bors
bf2d145c62
Auto merge of #67032 - cjgillot:hirene, r=Zoxc
...
Allocate HIR on an arena 4/4
This is the fourth and last PR in the series started by #66931 , #66936 and #66942 .
The last commits should compile on their own.
The difference with the previous PR is given by https://github.com/cjgillot/rust/compare/hirene-ty...hirene
A few more cleanups may be necessary, please tell me.
r? @eddyb like the other
cc @Zoxc
2019-12-31 03:27:36 +00:00
Esteban Küber
261b606ddc
review comments and fix rebase
2019-12-30 11:47:41 -08:00
Vadim Petrochenkov
b9a9c5b4fd
Make things build again
2019-12-30 19:18:16 +03:00
Mazdak Farrokhzad
63dc0e41db
discriminant -> scrutinee
2019-12-30 14:28:40 +01:00
Mazdak Farrokhzad
f8d2cce0ce
Blame user type in pat type error.
2019-12-30 14:28:40 +01:00
Mazdak Farrokhzad
f2c6a19c0d
check_fn: simplify
2019-12-30 14:05:17 +01:00
Mazdak Farrokhzad
d7e2f3aee5
refactor and fix this-expression-has-type note
2019-12-30 14:05:17 +01:00
Mazdak Farrokhzad
f35840f77c
Pass the span of <init> in let <pat> = <init>;
...
when type checking `<pat>`.
2019-12-30 13:50:20 +01:00
Mazdak Farrokhzad
6137ad49e4
move demand_eqtype_pat* to pat.rs
2019-12-30 13:50:20 +01:00
Mazdak Farrokhzad
e952377ddc
MatchExpressionArmPattern -> Pattern
...
Current name is too specific for incoming changes.
2019-12-30 13:50:20 +01:00
Mazdak Farrokhzad
960acb044b
Show scrutinee expr type for struct fields.
...
TODO: The type is wrong and will be fixed in later commits.
2019-12-30 13:50:20 +01:00
Mazdak Farrokhzad
73db83aa70
cleanup check_pat
2019-12-30 13:50:20 +01:00
Camille GILLOT
e569ada528
Retire hir::ptr.
2019-12-30 11:29:30 +01:00
Camille GILLOT
aa3678d4f4
Remove HirVec from Generics.
2019-12-30 11:29:29 +01:00
Yuki Okushi
2c46dd16a5
Rollup merge of #67287 - Centril:mismatch-range-improve-diag, r=estebank
...
typeck: note other end-point when checking range pats
Fixes #57389 , alternative to #67214 that should be less invasive to type checking logic.
r? @estebank
2019-12-30 14:07:46 +09:00
Esteban Küber
8a3872ea9c
review comments
2019-12-29 19:17:23 -08:00
Esteban Küber
cfa0b07c8d
clean up logic
2019-12-29 19:16:53 -08:00
Esteban Küber
e843245716
review comments
2019-12-29 19:16:53 -08:00
Esteban Küber
3a9c3f92cc
Format and fix rebase
2019-12-29 19:16:15 -08:00
Esteban Küber
fb52883690
Account for existing type params when suggesting replacing _ for a new one
2019-12-29 19:16:15 -08:00
Esteban Küber
6c8b2dcb19
Account for all item kinds when collecting and gateing _ in item defs
2019-12-29 19:16:15 -08:00
Esteban Küber
8cb193a5cb
Suggest type param when encountering _ in fn defs
...
When encountering `_` type placeholder in fn arguments and return type,
suggest using generic type parameters.
Expand what counts as an inferable return type to slice, array and
tuples of `_`.
2019-12-29 19:11:27 -08:00
Mazdak Farrokhzad
c4b6de2d6a
note other end-point when typeck range pats
2019-12-30 02:48:35 +01:00
Camille GILLOT
36f95ab3fa
Fallout in other crates.
2019-12-27 19:20:28 +01:00
Camille GILLOT
deac631d7f
Use Arena inside hir::FnSig.
2019-12-27 19:20:27 +01:00
Camille GILLOT
8284035372
Fallout in other crates.
2019-12-26 23:38:46 +01:00
Camille GILLOT
52e9825ba8
Visit for hir::Expr.
2019-12-26 23:36:12 +01:00
Camille GILLOT
2b1cfe5b5b
Syntax for hir::Expr.
2019-12-26 23:36:12 +01:00
Esteban Küber
621d7e959b
Fix rebase and sort assoc type list for deterministic output
2019-12-25 11:12:56 -08:00
Esteban Küber
93fb219579
Fix suggestion span for typo in associated type name
2019-12-24 22:25:45 -08:00
Esteban Küber
245f62eb8a
Cleanup: move code to their own methods and deduplicate actions
2019-12-24 22:23:23 -08:00
Esteban Küber
80adfd8de3
Account for multiple trait bounds with missing associated types
2019-12-24 22:23:02 -08:00
Esteban Küber
8d316a5a67
Use structured suggestion for bad Fn traits
2019-12-24 22:17:29 -08:00
Esteban Küber
66ea471f9d
Handle more specific case E0222
2019-12-24 22:10:15 -08:00
Esteban Küber
8e74f63054
review comments: move error reporting to their own methods
2019-12-24 22:09:28 -08:00
Esteban Küber
759df5fa35
Fix case in associated-type-projection-from-multiple-supertraits.rs
...
This still doesn't handle the case entirely correctly, requiring a more
targeted approach with a better suggestion, but at least now the
suggested syntax makes *some* sense.
2019-12-24 22:08:05 -08:00
Esteban Küber
547abe0c52
Tweak errors for missing associated types and type parameters
2019-12-24 22:02:43 -08:00
