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

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

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-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
2018-09-10	Niko Matsakis	add test case	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	visit the paths in pre-expansion macros	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	make `add_pre_expansion_builtin` add a pre-expansion...	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	add FIXME related to `ref x` bindings	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	add link to https://github.com/rust-lang/rust/issues...	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	propagate user-ascribes types down onto resulting bindings	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	expand the patterns test with a bunch more scenarios	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	optimize `let x: T = ..` to avoid a temporary	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	generalize `AscribeUserType` to handle sub or super...	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	WIP remove incorrect nll.stderr reference files	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	fix SCCs containing mixture of universes	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	fixup: rename `UserAssertTy` to `AscribeUserType`	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	pacify the mercilous tidy	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	insert `AscribeUserType` for ascriptions	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	add the `AscribeUserType` statement kind	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	matches/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	add a `AscribeUserType` pattern, largely ignored	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	remove the old `UserAssertTy` support	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	now that we can handle subtyping, fix higher-ranked...	commit \| commitdiff \| tree
2018-09-10	Niko Matsakis	add a test for variables used twice	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	add generalization	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	instantiate traversed binders rather than saving the...	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	add a `first_free_index` parameter	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	add ability to create region vars with explicit universe	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	infer/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	add some comments	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	factor out `lookup_bound_region`	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	remove extra lifetime bound	commit \| commitdiff \| tree
2018-09-09	Niko Matsakis	document the purpose of `ScopeInstantiator`	commit \| commitdiff \| tree
2018-09-07	Niko Matsakis	print less info to stabilize tests	commit \| commitdiff \| tree
2018-09-07	Niko Matsakis	avoid propagating outlives obligations on locals if...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom