about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Collapse)AuthorLines
2020-12-02add comment to `visit_ct_substs`Bastian Kauschke-3/+1
2020-12-02Revert "Auto merge of #79209 - spastorino:trait-inheritance-self, ↵Santiago Pastorino-33/+1
r=nikomatsakis" This reverts commit 349b3b324dade7ca638091db93ba08bbc443c63d, reversing changes made to b776d1c3e3db8befabb123ebb1e46c3531eaed46.
2020-12-02const_evaluatable_checked: fix occurs checkBastian Kauschke-1/+15
2020-11-27Return FxIndexSet instead of FxHashSet to avoid order errors on different ↵Santiago Pastorino-3/+3
platforms
2020-11-27Inline elaborate_trait_refs_that_define_assoc_type into ↵Santiago Pastorino-32/+24
transitive_bounds_that_define_assoc_type
2020-11-27Document elaborate_trait_refs_that_define_assoc_typeSantiago Pastorino-0/+5
2020-11-27Allow to self reference associated types in where clausesSantiago Pastorino-0/+35
2020-11-26Rollup merge of #77758 - Stupremee:turbofish-help-for-const, r=varkorJonas Schievink-5/+27
suggest turbofish syntax for uninferred const arguments When not providing a const generic value, and it can not be inferred, the following suggestion is suggested: ![image](https://user-images.githubusercontent.com/39732259/95616180-af127b80-0a69-11eb-8877-551c815f9627.png) Resolves #76737 r? ``@varkor``
2020-11-22Thread `Constness` through selectionJonas Schievink-1/+1
2020-11-19Move `rustc_ty` -> `rustc_ty_utils`LeSeulArtichaut-1/+1
2020-11-18Suggest turbofish for uninferred const argumentJustus K-5/+27
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-17/+13
Introduce `TypeVisitor::BreakTy` Implements MCP rust-lang/compiler-team#383. r? `@ghost` cc `@lcnr` `@oli-obk` ~~Blocked on FCP in rust-lang/compiler-team#383.~~
2020-11-16wordslcnr-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-75/+73
2020-11-14Use `TypeVisitor::BreakTy` in `UnresolvedTypeFinder`LeSeulArtichaut-11/+4
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-6/+9
2020-11-13Rollup merge of #78463 - varkor:placeholder-const, r=nikomatsakisGuillaume Gomez-9/+9
Add type to `ConstKind::Placeholder` I simply threaded `<'tcx>` through everything that required it. I'm not sure whether this is the correct thing to do, but it seems to work. r? `@nikomatsakis`
2020-11-12Add type to `ConstKind::Placeholder`varkor-9/+9
2020-11-10Rollup merge of #76765 - guswynn:async_return, r=tmandryJonas Schievink-33/+133
Make it more clear what an about async fn's returns when referring to what it returns see #76547 This is *likely* not the ONLY place that this happens to be unclear, but we can move this fn to rustc_middle or something like that and reuse it if need be, to apply it to more diagnostics One outstanding question I have is, if the fn returns (), should I make the message more clear (what about `fn f()` vs `fn f() -> ()`, can you tell those apart in the hir?) R? `@tmandry` `@rustbot` modify labels +A-diagnostics +T-compiler
2020-11-04fix a couple of clippy warnings:Matthias Krüger-1/+0
filter_next manual_strip redundant_static_lifetimes single_char_pattern unnecessary_cast unused_unit op_ref redundant_closure useless_conversion
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-6/+6
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-11/+19
2020-10-29Rollup merge of #78460 - varkor:turbofish-string-generic, r=lcnrYuki Okushi-2/+0
Adjust turbofish help message for const generics Types are no longer special. (This message arguably only makes sense with `min_const_generics` or more, but we'll be there soon.) r? @lcnr
2020-10-28Remove irrelevant FIXMEvarkor-2/+0
2020-10-26Suggest calling await on method call and field accessEsteban Küber-1/+1
When encountering a failing method or field resolution on a `Future`, look at the `Output` and try the same operation on it. If successful, suggest calling `.await` on the `Future`. This had already been introduced in #72784, but at some point they stopped working.
2020-10-26Rollup merge of #78268 - JohnTitor:issue-78262, r=estebankDylan DPC-0/+8
Do not try to report on closures to avoid ICE Fixes #78262
2020-10-25Do not try to report on closures to avoid ICEYuki Okushi-0/+8
2020-10-23Suggest semicolon removal and boxing when appropriateEsteban Küber-8/+27
2020-10-23Add more `.await` suggestions on E0308Esteban Küber-38/+119
2020-10-23Review comments: use newtype instead of `bool`Esteban Küber-2/+3
2020-10-23Account for possible boxable `impl Future` in semicolon removal suggestionsEsteban Küber-14/+32
2020-10-22Reduce diagram mess in 'match arms have incompatible types' errorDavid Tolnay-2/+14
2020-10-21Lift: take self by valueBastian Kauschke-2/+2
2020-10-20review commentsEsteban Küber-1/+1
2020-10-20Tweak "object unsafe" errorsEsteban Küber-15/+22
Fix #77598.
2020-10-19revert workaround #73027SNCPlay42-15/+2
2020-10-17Make it more clear when complaining about async fn's return typesGus Wynn-33/+133
2020-10-16Review commentsJack Huey-1/+1
2020-10-16map_bound_ref -> rebindJack Huey-6/+4
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-6/+9
2020-10-14Remove unused code from rustc_inferest31-40/+0
2020-10-13Replace absolute paths with relative onesest31-4/+4
Modern compilers allow reaching external crates like std or core via relative paths in modules outside of lib.rs and main.rs.
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-14/+6
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-13/+18
2020-10-06Rename projection_predicates to item_boundsMatthew Jasper-2/+2
2020-10-05Auto merge of #77171 - VFLashM:better_sso_structures, r=oli-obkbors-8/+8
Better sso structures This change greatly expands interface of MiniSet/MiniMap and renames them because they are no longer "Mini".
2020-09-26Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."Dylan MacKenzie-1/+1
This reverts commit ab83d372ed5b1799d418afe83c468e4c5973cc34.
2020-09-26MiniSet/MiniMap moved and renamed into SsoHashSet/SsoHashMapValerii Lashmanov-8/+8
It is a more descriptive name and with upcoming changes there will be nothing "mini" about them.
2020-09-26Rollup merge of #77211 - est31:remove_unused_allow, r=oli-obkRalf Jung-1/+0
Remove unused #[allow(...)] statements from compiler/
2020-09-26Rollup merge of #77093 - lcnr:const-generics-infer-warning, r=varkorRalf Jung-104/+178
merge `need_type_info_err(_const)` I hoped that this would automatically solve #76737 but it doesn't quite seem like it fixes #77092 r? @varkor
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 09:19:33 +0000