rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2019-02-10	rustc: doc comments	Alexander Regueiro	-6/+6

2019-02-07	Transition librustc_traits to 2018 edition	Hirokazu Hata	-6/+6

2019-01-05	Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakis	bors	-5/+1
	Add support for trait-objects without a principal The hard-error version of #56481 - should be merged after we do something about the `traitobject` crate. Fixes #33140. Fixes #57057. r? @nikomatsakis
2019-01-04	Revert "add coherence future-compat warnings for marker-only trait objects"	Ariel Ben-Yehuda	-5/+1
	This reverts commit 760639635facb6c9a0926ac9278bcba71880b0b3.
2019-01-01	Move the `Unevaluated` constant arm upwards in the type structure	Oliver Scherer	-1/+1

2018-12-27	Add `wf_clause_for_fn_def`	scalexm	-1/+21

2018-12-27	Handle sub-typing in chalk-engine	scalexm	-5/+27

2018-12-27	Integrate chalk engine	scalexm	-31/+132

2018-12-27	Fix `Sized` requirement for empty tuples in `program_clauses`	scalexm	-1/+4

2018-12-27	Add builtin impls for `Sized` in `chalk_context::program_clauses`	scalexm	-0/+131

2018-12-27	Rename functions giving WF clauses for builtin types	scalexm	-21/+38

2018-12-27	Add utilities for creating generic types	scalexm	-51/+19

2018-12-27	Return an instantiated environment instead of a generic one	scalexm	-8/+15

2018-12-27	Fix `visit_ex_clause_with`	scalexm	-3/+3
	The sub-visits were incorrectly combined with an `&&` instead of an `\|\|`.
2018-12-27	Implement "lifetime juggling" methods from chalk integration trait	scalexm	-8/+42
	Fixes #55097.
2018-12-27	Implement `is_coinductive`	scalexm	-3/+20
	Fixes #55096.
2018-12-25	Remove licenses	Mark Rousskov	-20/+0

2018-12-14	add coherence future-compat warnings for marker-only trait objects	Ariel Ben-Yehuda	-1/+5
	The future-compat warnings break code that assumes that `dyn Send + Sync != dyn Sync + Send`, and are the first step in making them equal. cc #33140. It should be possible to revert this commit when we're done with the warnings.
2018-11-29	Implement `AggregateOps`	scalexm	-2/+28
	`make_solution` does not return any guidance for now
2018-11-29	Implement `ResolventOps`	scalexm	-29/+256

2018-11-29	Handle inference variables in `nll_relate` and use it for chalk	scalexm	-17/+132

2018-11-24	Fix `ChalkInferenceContext::into_hh_goal`	scalexm	-1/+4

2018-11-24	Implement some instantiate / canonical routines	scalexm	-52/+113

2018-11-24	Move `BoundTy` debruijn index to the `TyKind` enum variant	scalexm	-8/+11

2018-11-24	Introduce `TyKind::Placeholder` variant	scalexm	-0/+1

2018-11-13	Instantiate all bound vars existentially	scalexm	-4/+3

2018-11-13	Bypass ppaux for `Outlives` predicates	scalexm	-1/+1

2018-11-13	Provide program clauses for builtin types	scalexm	-0/+970