user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/librustc_typeck
History
bors f9477a77c5 Auto merge of #62694 - lundibundi:help-infer-fn-ret, r=eddyb 
rustc_typeck: improve diagnostics for -> _ fn return type

This should implement IIUC the mentioned issue.

~~I'm not sure if there is a better way than `get_infer_ret_ty` to get/check the return type without code duplication.~~

~~Also, is this unwrap be okay `ty::Binder::bind(*tables.liberated_fn_sigs().get(hir_id).unwrap())`?~~

r? @eddyb
Closes: https://github.com/rust-lang/rust/issues/56132
2019-07-19 04:04:17 +00:00
..
check Auto merge of #62694 - lundibundi:help-infer-fn-ret, r=eddyb 2019-07-19 04:04:17 +00:00
coherence rename hir::map::local_def_id_from_hir_id to local_def_id 2019-07-04 12:53:12 +02:00
outlives rename hir::map::local_def_id_from_hir_id to local_def_id 2019-07-04 12:53:12 +02:00
variance normalize use of backticks in compiler messages for librustc_typecheck 2019-07-07 18:27:21 +02:00
astconv.rs name the trait in ambiguous-associated-items fully qualified suggestion 2019-07-06 16:47:43 -07:00
Cargo.toml rustc: Remove dylib crate type from most rustc crates 2019-07-07 03:23:00 +02:00
check_unused.rs rename hir::map::local_def_id_from_hir_id to local_def_id 2019-07-04 12:53:12 +02:00
collect.rs rustc_typeck: improve diagnostics for -> _ fn return type 2019-07-17 16:59:08 +03:00
constrained_generic_params.rs Unify all uses of 'gcx and 'tcx. 2019-06-14 18:58:23 +03:00
error_codes.rs normalize use of backticks in compiler messages for librustc_typecheck 2019-07-07 18:27:21 +02:00
impl_wf_check.rs rename hir::map::local_def_id_from_hir_id to local_def_id 2019-07-04 12:53:12 +02:00
lib.rs Rollup merge of #62168 - ljedrz:the_culmination_of_hiridification, r=Zoxc 2019-07-05 20:26:56 +02:00
namespace.rs Rename "Associated*" to "Assoc*" 2019-05-26 17:49:02 +08:00
README.md rustc-guide has moved 2018-11-26 15:03:13 -06:00
structured_errors.rs Rollup merge of #57856 - lzutao:fix-old-first-edition, r=steveklabnik 2019-02-14 02:41:16 +01:00

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc guide.