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

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

2018-11-03	scalexm	Remove `ReCanonical` in favor of `ReLateBound`	commit \| commitdiff \| tree
2018-11-03	scalexm	Adjust bound tys indices in canonicalization	commit \| commitdiff \| tree
2018-11-03	scalexm	Rename `BoundTy` field `level` -> `index`	commit \| commitdiff \| tree
2018-11-03	scalexm	Rename `BoundTyIndex` to `BoundVar`	commit \| commitdiff \| tree
2018-11-03	scalexm	Shift both late bound regions and bound types	commit \| commitdiff \| tree
2018-11-03	scalexm	Move `BoundTy` to `ty::TyKind`	commit \| commitdiff \| tree
2018-10-19	scalexm	Write an initial version of the `program_clauses` callback	commit \| commitdiff \| tree
2018-10-17	scalexm	Re-use memory in `program_clauses_for_env`	commit \| commitdiff \| tree
2018-10-17	scalexm	Implement `InferenceTable::add_clauses`	commit \| commitdiff \| tree
2018-10-17	scalexm	Add tests for `program_clauses_for_env`	commit \| commitdiff \| tree
2018-10-17	scalexm	Categorize chalk clauses	commit \| commitdiff \| tree
2018-10-17	scalexm	Add `FromEnv` for input types in the environment	commit \| commitdiff \| tree
2018-10-17	scalexm	Implement the `environment` query	commit \| commitdiff \| tree
2018-10-17	scalexm	Visit tys in `program_clauses_for_env`	commit \| commitdiff \| tree
2018-10-17	scalexm	Use `Environment` instead of `ty::ParamEnv` in chalk...	commit \| commitdiff \| tree
2018-10-08	scalexm	Compute flags for `ty::UnnormalizedProjection`	commit \| commitdiff \| tree
2018-10-08	scalexm	Add chalk rules related to associated type defs	commit \| commitdiff \| tree
2018-10-08	scalexm	Pass around interned refs to goals and not goals	commit \| commitdiff \| tree
2018-10-03	scalexm	Fix `ty::UnnormalizedProjection` in rustdoc	commit \| commitdiff \| tree
2018-10-03	scalexm	Introduce `TyKind::UnnormalizedProjection`	commit \| commitdiff \| tree
2018-10-03	scalexm	Remove duplicate predicates in `explicit_predicates_of`	commit \| commitdiff \| tree
2018-07-09	scalexm	Change wording	commit \| commitdiff \| tree
2018-06-07	scalexm	Add tests for `WellFormed-Type` and `FromEnv-Type`...	commit \| commitdiff \| tree
2018-06-07	scalexm	Remove `FromEnv(ProjectionEq(...))` from tests	commit \| commitdiff \| tree
2018-06-07	scalexm	Add rules for type well-formedness	commit \| commitdiff \| tree
2018-06-04	scalexm	Refactor the chalkify lowering process	commit \| commitdiff \| tree
2018-03-30	scalexm	Tweak `Clause` definition and HRTBs	commit \| commitdiff \| tree
2018-03-14	scalexm	Add documentation	commit \| commitdiff \| tree
2018-03-14	scalexm	Move code into librustc_traits	commit \| commitdiff \| tree
2018-03-14	scalexm	Address niko's nits	commit \| commitdiff \| tree
2018-03-14	scalexm	Add MVP for chalkification	commit \| commitdiff \| tree
2017-09-20	scalexm	Fix ICE	commit \| commitdiff \| tree
2017-09-20	scalexm	Implement `Copy`/`Clone` for closures	commit \| commitdiff \| tree
2017-08-25	scalexm	Change to `Elaborate::None` inside `compute_projection`	commit \| commitdiff \| tree
2017-08-14	scalexm	Use an helper struct	commit \| commitdiff \| tree
2017-08-14	scalexm	Handle unwinding, use a loop for arrays	commit \| commitdiff \| tree
2017-08-14	scalexm	Optimize clone shim for `Copy` types	commit \| commitdiff \| tree
2017-08-14	scalexm	Rename `BuiltinShim` -> `CloneShim`	commit \| commitdiff \| tree
2017-08-14	scalexm	Do not store `ty`	commit \| commitdiff \| tree
2017-08-14	scalexm	Add a test	commit \| commitdiff \| tree
2017-08-14	scalexm	Remove dummy lang items	commit \| commitdiff \| tree
2017-08-14	scalexm	Make `Clone` a lang item and generate builtin impls.	commit \| commitdiff \| tree
2017-08-10	scalexm	Do not elaborate trait obligations in where clauses	commit \| commitdiff \| tree
2017-08-10	scalexm	Add tests	commit \| commitdiff \| tree
2017-08-10	scalexm	Elaborate trait obligations when typechecking impls	commit \| commitdiff \| tree
2017-08-10	scalexm	Fix for the supertrait example in #43784	commit \| commitdiff \| tree
2017-08-04	scalexm	Rename `ConfirmResult` fields	commit \| commitdiff \| tree
2017-08-03	scalexm	Tweak error message	commit \| commitdiff \| tree
2017-08-03	scalexm	Handle ambiguous cases	commit \| commitdiff \| tree
2017-08-03	scalexm	Add a more precise error message	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom