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

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

2019-01-02	Niko Matsakis	make `get_highlight_region_for_regionvid` only affect...	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	remove outdated `rustc_driver` tests	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	WIP other test changes	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	tests: cases where we now do the right thing but did...	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	tests: worse diagnostics, but basically same errors	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	tests: move coherence-subtyping from run-pass to compile...	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	add tests exercising `exists<'a> { forall<'b> { .....	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	universe transition	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	WIP: wfcheck ability to detect	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	select.rs: unsizing coercion should use a subtype	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	introduce ability to detect region constraints from...	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	make evaluation track whether outlives relationships...	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	remove wrapper functions that had no purpose	commit \| commitdiff \| tree
2019-01-02	Niko Matsakis	remove `commit_if_ok` wrapper	commit \| commitdiff \| tree
2018-11-22	Niko Matsakis	explain how this works	commit \| commitdiff \| tree
2018-11-22	Niko Matsakis	only reset non-restricted visibilities	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	add compile-pass annotation	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	hack: ignore list-stems for pub lint	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	pass vis by shared reference	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	add regression test	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	preserve the original visibility for the "list stem...	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	renumber segment ids for visibilities whenever we clone...	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	add some `debug!` into lowering	commit \| commitdiff \| tree
2018-11-21	Niko Matsakis	track the span for each id so that we can give a nice ICE	commit \| commitdiff \| tree
2018-11-18	Niko Matsakis	remove "approx env bounds" if we already know from...	commit \| commitdiff \| tree
2018-11-16	Niko Matsakis	handle trait objects formed from traits with `Self...	commit \| commitdiff \| tree
2018-11-16	Niko Matsakis	improve debug output related to bound calculation	commit \| commitdiff \| tree
2018-10-31	Niko Matsakis	kill old-style-lub warnings	commit \| commitdiff \| tree
2018-10-31	Niko Matsakis	fix bug in NLL error reporting	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	error_reporting/mod.rs: rustfmt	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	select.rs: rustfmt	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	apply minimum bounds when checking closure signature	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	distinguish user-type annotations from other annotations	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	when canonicalizing query responses, preserve infer...	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	extend query response to potentially contain fresh...	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	allow canonicalized regions to carry universe and track...	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	convert placeholder region vids in NLL mode as we see...	commit \| commitdiff \| tree
2018-10-27	Niko Matsakis	move `PlaceholderIndices` into `MirTypeckRegionConstraints...	commit \| commitdiff \| tree
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	Keith Yeung	Wrap cast expressions inside of ValueTypeAscription	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom