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

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

2022-06-23	Niko Matsakis	normalize if-eq bounds before testing	commit \| commitdiff \| tree
2022-06-23	Niko Matsakis	apply suggestions from oli-obk	commit \| commitdiff \| tree
2022-06-23	Niko Matsakis	coallesce docs	commit \| commitdiff \| tree
2022-06-23	Niko Matsakis	rename IfEqBound to IfEq	commit \| commitdiff \| tree
2022-06-23	Niko Matsakis	remove VerifyBound::IfEq variant	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	tests H.R. `T: 'a` bounds proving themselves	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	mark issue-91139 and issue-92096 as FIXME	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	fix universes in the NLL type tests	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	generalize the outlives obligation code	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	improved debug output	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	remove compare-fn and use erased-ty	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	simplify argument type for to take param-ty	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	implement (unused) matching solver	commit \| commitdiff \| tree
2022-06-15	Niko Matsakis	simply the IfEq bound -- we only ever use a region	commit \| commitdiff \| tree
2022-05-26	Niko Matsakis	Update compiler/rustc_typeck/src/check/region.rs	commit \| commitdiff \| tree
2022-05-20	Niko Matsakis	Update compiler/rustc_typeck/src/check/generator_interior...	commit \| commitdiff \| tree
2022-03-17	Niko Matsakis	Update compiler/rustc_trait_selection/src/traits/coherence.rs	commit \| commitdiff \| tree
2022-03-07	Niko Matsakis	try to fix issue 57017, but not quite there yet	commit \| commitdiff \| tree
2021-11-05	Niko Matsakis	apply suggestions from code review	commit \| commitdiff \| tree
2021-11-05	Niko Matsakis	handle case of a variable not captured	commit \| commitdiff \| tree
2021-11-05	Niko Matsakis	rework diagnostic reporting to be more structured	commit \| commitdiff \| tree
2021-11-04	Niko Matsakis	introduce an enum for tracking the 2229 migration causes	commit \| commitdiff \| tree
2021-10-15	Niko Matsakis	simplify constrain_opaque_types	commit \| commitdiff \| tree
2021-09-17	Niko Matsakis	optimization: use a single DepthFirstSearch instead...	commit \| commitdiff \| tree
2021-09-17	Niko Matsakis	stop categorizing inference variables as diverging...	commit \| commitdiff \| tree
2021-09-17	Niko Matsakis	remove reliance on "diverging" type variables	commit \| commitdiff \| tree
2021-09-17	Niko Matsakis	remove diverging type variables from fn check	commit \| commitdiff \| tree
2021-09-17	Niko Matsakis	introduce new fallback algorithm	commit \| commitdiff \| tree
2021-09-08	Niko Matsakis	Rework DepthFirstSearch API	commit \| commitdiff \| tree
2021-08-27	Niko Matsakis	use `\|=`	commit \| commitdiff \| tree
2021-08-27	Niko Matsakis	simplify the logic and document	commit \| commitdiff \| tree
2021-08-25	Niko Matsakis	trailing whitespace	commit \| commitdiff \| tree
2021-08-25	Niko Matsakis	update docs for `type_implements_trait`	commit \| commitdiff \| tree
2021-08-23	Niko Matsakis	fix test	commit \| commitdiff \| tree
2021-08-23	Niko Matsakis	x.py fmt	commit \| commitdiff \| tree
2021-08-23	Niko Matsakis	add trailing newline	commit \| commitdiff \| tree
2021-08-23	Niko Matsakis	useful debug printouts	commit \| commitdiff \| tree
2021-08-23	Niko Matsakis	fix apparent typo in resolving variables	commit \| commitdiff \| tree
2021-08-20	Niko Matsakis	move `fallback_if_possible` and friends to fallback.rs	commit \| commitdiff \| tree
2021-08-20	Niko Matsakis	create `Coercion` obligations given 2 unbound type...	commit \| commitdiff \| tree
2021-08-20	Niko Matsakis	move the `sub-unify` check and extend the documentation...	commit \| commitdiff \| tree
2021-08-19	Niko Matsakis	introduce a Coerce predicate	commit \| commitdiff \| tree
2021-08-19	Niko Matsakis	introduce a Coerce predicate	commit \| commitdiff \| tree
2021-08-19	Niko Matsakis	cleanup: extract a helper for coercion from inference...	commit \| commitdiff \| tree
2021-08-19	Niko Matsakis	shallow resolve target type in coercion	commit \| commitdiff \| tree
2021-08-19	Niko Matsakis	introduce a `Diverging` enum instead of a bool	commit \| commitdiff \| tree
2021-08-19	Niko Matsakis	factor fallback code into its own module	commit \| commitdiff \| tree
2021-07-30	Niko Matsakis	Update compiler/rustc_mir/src/borrow_check/consumers.rs	commit \| commitdiff \| tree
2021-07-15	Niko Matsakis	Update compiler/rustc_typeck/src/expr_use_visitor.rs	commit \| commitdiff \| tree
2021-07-08	Niko Matsakis	Update src/test/ui/rust-2021/future-prelude-collision...	commit \| commitdiff \| tree
2021-07-07	Niko Matsakis	Apply suggestions from code review	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	revert broken formatting	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	revert broken formatting	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	remove outdated comment	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	tag issues with FIXME	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	Update compiler/rustc_middle/src/ty/normalize_erasing_regions.rs	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	remove some ad-hoc has_infer_types checks that aren...	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	be conservative in has_significant_drop	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	allow inference vars in type_implements_trait	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	allow inference vars in type_implements_trait	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	remove unused Option	commit \| commitdiff \| tree
2021-07-04	Niko Matsakis	introduce helper function	commit \| commitdiff \| tree
2021-07-03	Niko Matsakis	add test case	commit \| commitdiff \| tree
2021-06-21	Niko Matsakis	introduce helper function	commit \| commitdiff \| tree
2021-06-21	Niko Matsakis	add test for `dyn` collisions	commit \| commitdiff \| tree
2021-06-21	Niko Matsakis	do not run rustfix for future-prelude-collision-shadow	commit \| commitdiff \| tree
2021-06-18	Niko Matsakis	fix typos	commit \| commitdiff \| tree
2021-06-18	Niko Matsakis	WIP: identify the case where we need to serialize path	commit \| commitdiff \| tree
2021-06-18	Niko Matsakis	add various coments to explain how the code works	commit \| commitdiff \| tree
2021-06-17	Niko Matsakis	WIP: Find the imports that were used to reach a method	commit \| commitdiff \| tree
2021-06-17	Niko Matsakis	use to_region_vid in opaque type code	commit \| commitdiff \| tree
2021-06-14	Niko Matsakis	extract Rust 2021 prelude logic to its own module	commit \| commitdiff \| tree
2021-06-14	Niko Matsakis	don't warn for fully qual inherent methods	commit \| commitdiff \| tree
2021-06-14	Niko Matsakis	add inherent-method-collision test	commit \| commitdiff \| tree
2021-06-14	Niko Matsakis	move test to rust-2021 directory	commit \| commitdiff \| tree
2021-05-27	Niko Matsakis	Update compiler/rustc_middle/src/query/mod.rs	commit \| commitdiff \| tree
2021-05-26	Niko Matsakis	bless compare-mode=nll output	commit \| commitdiff \| tree
2021-05-26	Niko Matsakis	stabilize member constraints	commit \| commitdiff \| tree
2021-05-13	Niko Matsakis	have on_completion record subcycles	commit \| commitdiff \| tree
2021-05-13	Niko Matsakis	introduce a unit testing feature `rustc_evaluate_where_clauses`	commit \| commitdiff \| tree
2021-04-08	Niko Matsakis	add comments	commit \| commitdiff \| tree
2021-03-25	Niko Matsakis	write-up what is happening	commit \| commitdiff \| tree
2021-02-02	Niko Matsakis	introduce future-compatibility warning for forbidden...	commit \| commitdiff \| tree
2020-11-27	Niko Matsakis	Add test to check that we do not get a cycle due to...	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	cite issue 73154	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	fix subtle bug in NLL type checker	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	WIP bless test and compare-mode=nll	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	add new coherence tests and update the documentation	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	add new tests from MCP and the tracking issue	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	remove `leak_check` from the outlives predicate evaluations	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	remove leak-check from project	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	remove snapshot calls from "match" operations during...	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	upcasting traits requires only that things become more...	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	move leak-check to during coherence, candidate eval	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	rewrite leak check to be based on universes	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	Revert "modify leak-check to track only outgoing edges...	commit \| commitdiff \| tree
2020-06-22	Niko Matsakis	modify leak-check to track only outgoing edges from...	commit \| commitdiff \| tree
2020-06-15	Niko Matsakis	Update src/librustc_typeck/check/cast.rs	commit \| commitdiff \| tree
2020-06-09	Niko Matsakis	fix URLs, include ARM	commit \| commitdiff \| tree
2020-05-28	Niko Matsakis	Update src/librustdoc/core.rs	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom