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

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

2020-07-27	Matthew Jasper	Handle trait/projection predicates with bound regions...	commit \| commitdiff \| tree
2020-07-20	Matthew Jasper	Use `ReEmpty(U0)` as the implicit region bound in typeck	commit \| commitdiff \| tree
2020-06-21	Matthew Jasper	Replace `is_global` call on data with call on predicate	commit \| commitdiff \| tree
2020-06-21	Matthew Jasper	Cache flags and escaping vars for predicates	commit \| commitdiff \| tree
2020-06-21	Matthew Jasper	Cache decoded predicate shorthands	commit \| commitdiff \| tree
2020-06-20	Matthew Jasper	Explain what the substs we're creating are	commit \| commitdiff \| tree
2020-06-20	Matthew Jasper	Move bounds on associated types to the type	commit \| commitdiff \| tree
2020-06-20	Matthew Jasper	Don't set STILL_FURTHER_SPECIALIZABLE for regions/bound...	commit \| commitdiff \| tree
2020-06-20	Matthew Jasper	Check associated type satisfy their bounds	commit \| commitdiff \| tree
2020-06-20	Matthew Jasper	Consider fewer predicates for projection candidates	commit \| commitdiff \| tree
2020-06-20	Matthew Jasper	Correctly handle binders inside trait predicates	commit \| commitdiff \| tree
2020-06-18	Matthew Jasper	Add helper method for reusing an existing interned...	commit \| commitdiff \| tree
2020-06-16	Matthew Jasper	Explain unused macro param	commit \| commitdiff \| tree
2020-06-15	Matthew Jasper	Remove use of specialization from librustc_arena	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Fix NLL test	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Document some opaque types code	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Allow all impl trait types to capture bound lifetimes	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Rename `TyKind::Def` to `OpaqueDef`	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Remove ImplItemKind::OpaqueTy from clippy	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Remove ImplItemKind::OpaqueTy from clippy	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Remove associated opaque types	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Add more tests for type alias impl Trait	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Forbid lifetime elision in let position impl Trait	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Remove associated opaque types	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Stop special casing top level TAIT	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Make pretty printing `TyKind::Def` do something	commit \| commitdiff \| tree
2020-06-11	Matthew Jasper	Check associated opaque types in check_opaque_types	commit \| commitdiff \| tree
2020-06-10	Matthew Jasper	Use min_specialization in the remaining rustc crates	commit \| commitdiff \| tree
2020-05-31	Matthew Jasper	Add descriptions for all queries	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Document `collect_bounding_regions`	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Update tests	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Remove dead ScopeTree code	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Remove unused error reporting code	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Remove ReScope	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Remove the parts of regionck referencing ReScope	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Improve the error when an opaque type captures ReEmtpty	commit \| commitdiff \| tree
2020-05-22	Matthew Jasper	Check for upper bound universe errors more carefully	commit \| commitdiff \| tree
2020-05-11	Matthew Jasper	Fix hang in lexical_region_resolve	commit \| commitdiff \| tree
2020-05-09	Matthew Jasper	Address review comments	commit \| commitdiff \| tree
2020-05-09	Matthew Jasper	Bless mir-opt tests	commit \| commitdiff \| tree
2020-05-09	Matthew Jasper	Add some more comments	commit \| commitdiff \| tree
2020-05-09	Matthew Jasper	Reduce the number of drop-flag assignments in unwind...	commit \| commitdiff \| tree
2020-05-09	Matthew Jasper	Defer creating drop trees in MIR lowering until leaving...	commit \| commitdiff \| tree
2020-05-08	Matthew Jasper	Fix debug assertion in error code	commit \| commitdiff \| tree
2020-05-03	Matthew Jasper	Correctly check comparison operators in MIR typeck	commit \| commitdiff \| tree
2020-05-02	Matthew Jasper	Report cannot move errors in promoted MIR	commit \| commitdiff \| tree
2020-04-26	Matthew Jasper	Use min_specialization in liballoc	commit \| commitdiff \| tree
2020-04-19	Matthew Jasper	Fix ICE for broken or-pattern in async fn	commit \| commitdiff \| tree
2020-04-02	Matthew Jasper	unerase regions in `infer_placeholder_type`	commit \| commitdiff \| tree
2020-03-23	Matthew Jasper	Remove `ReClosureBound`	commit \| commitdiff \| tree
2020-03-19	Matthew Jasper	Use erased regions in MIR	commit \| commitdiff \| tree
2020-03-17	Matthew Jasper	Update tests for erasing regions in typeck	commit \| commitdiff \| tree
2020-03-17	Matthew Jasper	Erase regions in writeback	commit \| commitdiff \| tree
2020-03-17	Matthew Jasper	Don't use `TypeckTables` in NiceRegionError	commit \| commitdiff \| tree
2020-03-17	Matthew Jasper	Remove `free_region_map` from `TypeckTables`	commit \| commitdiff \| tree
2020-03-16	Matthew Jasper	Make macro metavars respect (non-)hygiene	commit \| commitdiff \| tree
2020-03-15	Matthew Jasper	Consider well-formed predicates in min-specialization	commit \| commitdiff \| tree
2020-03-15	Matthew Jasper	Use min_specialization in libstd and libproc_macro	commit \| commitdiff \| tree
2020-03-15	Matthew Jasper	Implement soundness check for min_specialization	commit \| commitdiff \| tree
2020-03-15	Matthew Jasper	Avoid ICEs when we emit errors constructing the specializati...	commit \| commitdiff \| tree
2020-03-15	Matthew Jasper	Add attributes to allow specializing on traits	commit \| commitdiff \| tree
2020-03-15	Matthew Jasper	Add `min_specialization` feature	commit \| commitdiff \| tree
2020-03-12	Matthew Jasper	Ensure HAS_FREE_LOCAL_NAMES is set for ReFree	commit \| commitdiff \| tree
2020-03-01	Matthew Jasper	Clean up TypeFlags	commit \| commitdiff \| tree
2020-03-01	Matthew Jasper	Fix use of `has_infer_types`	commit \| commitdiff \| tree
2020-02-29	Matthew Jasper	Use TypeRelating for instantiating query responses	commit \| commitdiff \| tree
2020-02-26	Matthew Jasper	Update codegen-units tests	commit \| commitdiff \| tree
2020-02-15	Matthew Jasper	Avoid using regions from `TypeckTables`	commit \| commitdiff \| tree
2020-02-15	Matthew Jasper	Add fast path for is_freeze	commit \| commitdiff \| tree
2020-02-15	Matthew Jasper	Always qualify literals by type	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Fix tests after rebase	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Split `type_of` out of collect.rs	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Add fast path to eq_opaque_type_and_type	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Fix and test nested impl Trait	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Update tests	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Use member constraint for most opaque types in NLL	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Always check upper bounds when choosing member regions	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Improve opaque type lifetime errors	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Handle equal regions in opaque type inference	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Show inferred opaque types with `#[rustc_regions]`	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Address review comments	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Update tests	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Erase regions in opaque types in typeck	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Ensure RPIT types get recorded in borrowck	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Avoid unnecessary opaque type errors in borrowck	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Infer opaque type regions in borrow checking	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Prepare to use borrowck to resolve opaque types	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Arena allocate the result of mir_borrowck	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Generate more accurate MIR in `construct_error`	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Simplify function signature in opaque_types	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Give some more queries descriptions	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Distinguish RPIT from other impl trait	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Call `is_freeze` less in unsafety-checking	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Check associated opaque types don't use unconstrained...	commit \| commitdiff \| tree
2020-02-14	Matthew Jasper	Explain a test	commit \| commitdiff \| tree
2020-02-13	Matthew Jasper	Check types of statics in MIR typeck	commit \| commitdiff \| tree
2020-02-13	Matthew Jasper	Check `Copy` lifetimes bounds when copying from a projection	commit \| commitdiff \| tree
2020-02-13	Matthew Jasper	Don't instantiate so many copies of `drop_in_place`	commit \| commitdiff \| tree
2020-02-11	Matthew Jasper	Specify overflow checks behaviour in test	commit \| commitdiff \| tree
2020-02-09	Matthew Jasper	Don't parse `mut a @ b` as `mut a @ mut b`	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom