git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2018-10-24	Niko Matsakis	port the relate-types code from NLL type-check into...	commit \| commitdiff \| tree
2018-10-24	Niko Matsakis	introduce (but do not use) `ascribe_user_type` goal	commit \| commitdiff \| tree
2018-10-23	Niko Matsakis	type_check/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-10-23	Niko Matsakis	check the self type is well-formed	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	stop reporting "unsatisfied lifetime bounds" errors...	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	flesh out closure-substs test	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	fix incremental test	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	add regression test for #54124	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	start enforcing closure types	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	record supplied sig of closure	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	convert user-provided signatures into def-id	commit \| commitdiff \| tree
2018-10-22	Niko Matsakis	add a table to track user-provided signatures	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	add more to the ERROR messages	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	fix error messages	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	normalize the self-type that we extract from impl	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	even though we don't need it yet, fix the "fast path...	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	add a test that we enforce '`static` errors post normalization	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	add useful debug log	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	region_infer/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	pacify the mercilous tidy	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	skip user-type annotations if they don't have regions	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	lowering casts in constants now creates multiple uses	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	pacify the mercilous tidy	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	save the user-provided type immediately upon return...	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	create type ascription for any cast	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	suppress duplicate -- or near duplicate -- type test...	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	normalize and prove predicates	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	normalize after substitution	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	pull `relate_type_and_user_type` code into `type_check...	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	type_check/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	replace `UserTypeAnnotation::AdtDef` with `TypeOf`	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	propagate user-type annotation for constants in expressions	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	convert `FnDef` to `TypeOf`, which is more general	commit \| commitdiff \| tree
2018-10-19	Niko Matsakis	remove outdated assertion	commit \| commitdiff \| tree
2018-10-18	Niko Matsakis	resolve_lifetime.rs: rustfmt	commit \| commitdiff \| tree
2018-10-17	Niko Matsakis	move E0637 to lowering and improve output, add more...	commit \| commitdiff \| tree
2018-10-16	Niko Matsakis	add ~ERROR annotations	commit \| commitdiff \| tree
2018-10-16	Niko Matsakis	fix comment	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	fix mir-opt test	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	pacify the mercilous tidy	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	update tests	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	avoid type variables in the self-type	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	pass along `user_self_ty`	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	handle user-self-type for def-ids	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	pull the common code across user-ty variants up top	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	introduce a more expressive `UserSubsts`	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	introduce `FnDef` and `AdtDef` to `UserTypeAnnotation`	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	introduce a `UserTypeAnnotation` enum	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	move `force_instantiate_unchecked` to be local to ...	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	extract `type_relate` into the inference context as...	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	rework `relate_type_and_user_type` to use type inference...	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	make `instantiate_canonical_with_fresh_inference_vars...	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	make `TypeRelating` take an infcx again	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	add `force_instantiate_unchecked` method	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	rename to `user_substs_applied_to_def` for consistency	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	remove the sub/super terminology for universes	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	pacify the mercilous tidy with rustfmt	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	remove dead iterator code	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	hide `SmallCanonicalVarValues` in `OriginalQueryValues...	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	convert `UniverseIndex` into a `newtype_index!`	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	make `UniverseIndex` hashable, rename "sub-" to "superuniverse"	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	control canonicalization with a trait vs bools	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	introduce `canonical_var_for_region` helper fn	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	type_op/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	rename `QueryResult` to `QueryResponse`	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	bundle up "canonical instantiation" with infcx creation	commit \| commitdiff \| tree
2018-10-15	Niko Matsakis	canonicalizer.rs: rustfmt	commit \| commitdiff \| tree
2018-10-11	Niko Matsakis	make it an error to use `'_` in outlives bounds	commit \| commitdiff \| tree
2018-10-08	Niko Matsakis	add some `debug!` to type checking	commit \| commitdiff \| tree
2018-10-08	Niko Matsakis	document `create_substs_for_generic_args`	commit \| commitdiff \| tree
2018-10-08	Niko Matsakis	add pattern type ascriptions for tuple/brace structs...	commit \| commitdiff \| tree
2018-10-08	Niko Matsakis	do not skip renumbering the place in place-type-ascriptions	commit \| commitdiff \| tree
2018-10-08	Niko Matsakis	extract more helper fns around user substs	commit \| commitdiff \| tree
2018-10-08	Niko Matsakis	move `user_annotated_ty_for_adt` into a helper trait	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	s/skol_predicate/placeholder_predicate	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	fix typo: s/tained/tainted/	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	remove occurences of `skolemization`	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	remove all occurences of `skolemize`	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	build up the placeholder indices as we go	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	extend NLL universe code to have >1 placeholder within...	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	create just one subuniverse per binder -- no need for...	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	reorder the placeholders and inference variables in...	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	rename skolemized to placeholder	commit \| commitdiff \| tree
2018-10-04	Niko Matsakis	select.rs: rustfmt	commit \| commitdiff \| tree
2018-09-29	Niko Matsakis	avoid infinite loop in MIR lowering	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	use the closure def-id in returns, but closure-base...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	rustc_driver/test.rs: rustfmt	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	fix rustc_driver tests	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	pacify the mercilous tidy.	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	rustfmt `error_reporting/mod.rs` and `dropck.rs`	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	update tests and add stderr files	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	convert from an `UnlessNll` flag to a `SuppressRegionErrors...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	make NLL handle `IfEq` bounds by using SCC normalization	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	switch to use `VerifyBound` instead of `RegionTest`	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	region_infer: rustfmt	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	use `IfEq` to defer equality comparison around `where...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	refactor away `AnyRegions` and `AllRegions`	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	introduce `VerifyBound::IfEq` (presently unused)	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	change to use impl Trait a bit	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	remove handling of verify from taintset	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom