rust/compiler/rustc_trait_selection/src/traits/select/confirmation.rs, branch auto https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=auto 2025-10-03T14:32:23+00:00 Don't normalize higher-ranked assumptions if they're not used 2025-10-03T14:32:23+00:00 Michael Goulet michael@errs.io 2025-10-03T14:32:11+00:00 urn:sha1:e3f104608c0ad26e80b1ebedef2ab8a748189e52 Remove `DynKind` 2025-09-17T02:46:46+00:00 León Orell Valerian Liehr me@fmease.dev 2025-09-17T02:16:47+00:00 urn:sha1:26f3337d4eda0ba22b615744fda0185d0ee344b1 Consider outlives assumptions when proving auto traits for coroutine interiors 2025-07-15T16:02:26+00:00 Michael Goulet michael@errs.io 2025-07-13T20:43:29+00:00 urn:sha1:e3f643c70670a3e1567b0816502ab247565305f8 Instantiate binder for Copy/Clone/Sized eagerly 2025-07-08T16:35:06+00:00 Michael Goulet michael@errs.io 2025-07-07T22:21:08+00:00 urn:sha1:bbb409cc68e2588b72d95f77f2b551f5455a201d Instantiate auto trait before computing higher-ranked constituent types 2025-07-08T16:33:38+00:00 Michael Goulet michael@errs.io 2025-07-06T20:02:45+00:00 urn:sha1:8d2d4eb89af09104bd1306073320d3e67ead5fe6 remove `has_nested` 2025-07-07T09:19:58+00:00 lcnr rust@lcnr.de 2025-07-07T09:19:58+00:00 urn:sha1:3ddcf8b94cb22a3c8acd73b96fe938c1515a4a7b Remove PointerLike trait 2025-07-03T20:03:49+00:00 Michael Goulet michael@errs.io 2025-07-03T20:03:45+00:00 urn:sha1:e2e3f5809b079214c145afe74b2317e2cae720a9 setup CI and tidy to use typos for spellchecking and fix few typos 2025-07-03T07:51:06+00:00 klensy klensy@users.noreply.github.com 2024-12-07T10:51:08+00:00 urn:sha1:c76d032f0144b650a438ee1efba89c475e0b115b Remove some glob imports from the type system 2025-06-25T15:35:16+00:00 Michael Goulet michael@errs.io 2025-06-17T17:55:06+00:00 urn:sha1:44254c8cd79810fb2ff575d88e75c979bb7f1fc4 trait_sel: skip elaboration of sizedness supertrait 2025-06-16T23:04:36+00:00 David Wood david.wood2@arm.com 2025-03-17T10:24:56+00:00 urn:sha1:607eb322a85c9c6dcc4af6999ecfc9d9d001be21 As a performance optimization, skip elaborating the supertraits of `Sized`, and if a `MetaSized` obligation is being checked, then look for a `Sized` predicate in the parameter environment. This makes the `ParamEnv` smaller which should improve compiler performance as it avoids all the iteration over the larger `ParamEnv`.