16 Commits

Author	SHA1	Message	Date
Bastian Kauschke	03d66a06e4	replace has_local_value with needs_infer	2020-04-08 23:34:09 +02:00
Dylan DPC	89d661f15d	Rollup merge of #70857 - faern:use-assoc-int-float-consts, r=dtolnay ... Don't import integer and float modules, use assoc consts 2 Follow up to #70777. I missed quite a lot of places. Partially because I wanted to keep the size of the last PR down, and partially because my regexes were not good enough :) r? @dtolnay	2020-04-07 14:46:59 +02:00
Linus Färnstrand	f7778d36c7	Use assoc integer constants in librustc_*	2020-04-07 00:43:16 +02:00
Eduard-Mihai Burtescu	626abc7977	ty: remove {Existential,}Trait{Ref,Predicate}::input_types.	2020-04-06 21:55:51 +03:00
Eduard-Mihai Burtescu	3410aeddbe	ty: switch Ty::walk from Ty to GenericArg.	2020-04-06 21:55:50 +03:00
Mazdak Farrokhzad	6daff1400a	direct imports for langitem stuff	2020-04-02 13:40:43 +02:00
Mazdak Farrokhzad	1ccb0b4a02	rustc -> rustc_middle part 3 (rustfmt)	2020-03-30 07:19:55 +02:00
Mazdak Farrokhzad	0cb9e36090	rustc -> rustc_middle part 2	2020-03-30 07:16:56 +02:00
Mazdak Farrokhzad	bee074f032	Rollup merge of #69968 - eddyb:tupled-closure-captures, r=nikomatsakis ... rustc: keep upvars tupled in {Closure,Generator}Substs. Previously, each closure/generator capture's (aka "upvar") type was tracked as one "synthetic" type parameter in the closure/generator substs, and figuring out where the parent `fn`'s generics end and the synthetics start involved slicing at `tcx.generics_of(def_id).parent_count`. Needing to query `generics_of` limited @davidtwco (who wants to compute some `TypeFlags` differently for parent generics vs upvars, and `TyCtxt` is not available there), which is how I got started on this, but it's also possible that the `generics_of` queries are slowing down `{Closure,Generator}Substs` methods. To give an example, for a `foo::<T, U>::{closure#0}` with captures `x: X` and `y: Y`, substs are: * before this PR: `[T, U, /*kind*/, /*signature*/, X, Y]` * after this PR: `[T, U, /*kind*/, /*signature*/, (X, Y)]` You can see that, with this PR, no matter how many captures, the last 3 entries in the substs (or 5 for a generator) are always the "synthetic" ones, with the last one being the tuple of capture types. r? @nikomatsakis cc @Zoxc	2020-03-23 10:29:11 +01:00
Mazdak Farrokhzad	c984a96189	Rollup merge of #70269 - matthiaskrgr:clippy_closures, r=Dylan-DPC ... remove redundant closures (clippy::redundant_closure)	2020-03-23 04:26:15 +01:00
Matthias Krüger	263cbd1bbe	remove redundant closures (clippy::redundant_closure)	2020-03-22 12:43:19 +01:00
Matthias Krüger	3b4c2f67ad	don't redundantly repeat field names (clippy::redundant_field_names)	2020-03-21 15:56:13 +01:00
Eduard-Mihai Burtescu	10f08abd2e	rustc: keep upvars tupled in {Closure,Generator}Substs.	2020-03-21 14:23:50 +02:00
Eduard-Mihai Burtescu	63811bc38f	rustc_infer: remove InferCtxt::closure_sig as the FnSig is always shallowly known.	2020-03-18 02:16:01 +02:00
Camille GILLOT	0535dd3721	Split librustc_infer.	2020-03-14 14:17:13 +01:00
Camille GILLOT	c1e3d556bf	Move rustc_infer::traits to new crate rustc_trait_selection.	2020-03-14 14:15:50 +01:00