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

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

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-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-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
2018-09-26	Niko Matsakis	make `normalize` work on any type-foldable	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	lexical_region_resolve: rustfmt	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	encapsulate `infcx` too into the delegate	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	extract out NLL-specific code from relate-tys into...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	refactor NLL relate_tys to use Region internally, not...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	use approx. bounds to decide whether to add outlives...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	propagate the `compare_ty` fn further up	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	introduce the idea of an "approximate match"	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	introduce a "comparison fn" instead of always use `==`	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	split out getting the declared bounds from the env...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	break out the code that computes VerifyBounds	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	apply `process_registered_region_obligations` at the...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	type_check/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	use `RegionBoundPairs` type alias	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	auto_trait.rs: rustfmt	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	change `RegionObligation` to store a `SubregionOrigin`	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	use a `UnlessNll` flag to consolidate error reporting...	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	build up a map of the region-bound pairs for each body-id	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	outlives/env: rustfmt	commit \| commitdiff \| tree
2018-09-26	Niko Matsakis	regionck: rustfmt	commit \| commitdiff \| tree
2018-09-25	Niko Matsakis	add regression test	commit \| commitdiff \| tree
2018-09-13	Niko Matsakis	expose `evaluate_obligation` that captures overflow...	commit \| commitdiff \| tree
2018-09-13	Niko Matsakis	don't cache overflow results globally	commit \| commitdiff \| tree
2018-09-13	Niko Matsakis	give a more informative failure in this case	commit \| commitdiff \| tree
2018-09-11	Niko Matsakis	we now successfully warn about `async` in macro invocations	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	fix incremental test	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom