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

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

2018-11-26	scalexm	Put all existential ty vars in the `ROOT` universe	commit \| commitdiff \| tree
2018-11-24	scalexm	Try to work around #53332 in `src/test/run-pass/rustc...	commit \| commitdiff \| tree
2018-11-24	scalexm	Fix NLL ui test	commit \| commitdiff \| tree
2018-11-24	scalexm	Fix `ChalkInferenceContext::into_hh_goal`	commit \| commitdiff \| tree
2018-11-24	scalexm	Implement some instantiate / canonical routines	commit \| commitdiff \| tree
2018-11-24	scalexm	Move `BoundTy` debruijn index to the `TyKind` enum...	commit \| commitdiff \| tree
2018-11-24	scalexm	Instantiate all bound vars universally	commit \| commitdiff \| tree
2018-11-24	scalexm	Handle placeholder types in canonicalization	commit \| commitdiff \| tree
2018-11-24	scalexm	Add `HAS_TY_PLACEHOLDER` flag	commit \| commitdiff \| tree
2018-11-24	scalexm	Rename some occurences of `skol` to `placeholder`	commit \| commitdiff \| tree
2018-11-24	scalexm	Introduce `TyKind::Placeholder` variant	commit \| commitdiff \| tree
2018-11-24	scalexm	Distinguish between placeholder kinds	commit \| commitdiff \| tree
2018-11-13	scalexm	Fix ui tests	commit \| commitdiff \| tree
2018-11-13	scalexm	Instantiate all bound vars existentially	commit \| commitdiff \| tree
2018-11-13	scalexm	Use a dummy outlives requirement for `where Type:,...	commit \| commitdiff \| tree
2018-11-13	scalexm	Reorder code in `rustc::traits::structural_impls`	commit \| commitdiff \| tree
2018-11-13	scalexm	Bypass ppaux for `Outlives` predicates	commit \| commitdiff \| tree
2018-11-13	scalexm	Provide program clauses for builtin types	commit \| commitdiff \| tree
2018-11-13	scalexm	Adjust documentation	commit \| commitdiff \| tree
2018-11-13	scalexm	Pretty print quantified goals and clauses	commit \| commitdiff \| tree
2018-11-13	scalexm	Replace type params with bound vars in `rustc_traits...	commit \| commitdiff \| tree
2018-11-03	scalexm	Substitute binders directly	commit \| commitdiff \| tree
2018-11-03	scalexm	Rename `as_bound_var` to `assert_bound_var`	commit \| commitdiff \| tree
2018-11-03	scalexm	Fix doc comment	commit \| commitdiff \| tree
2018-11-03	scalexm	Extend `ty::fold::RegionReplacer` to `ty::fold::BoundVarRepl...	commit \| commitdiff \| tree
2018-11-03	scalexm	Rename `Binder::no_late_bound_regions` to `Binder:...	commit \| commitdiff \| tree
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

Empowering everyone to build reliable and efficient software.

RSS Atom