]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 156a932) | patch
Use a dummy outlives requirement for `where Type:,` (see #53696)
authorscalexm <alexandre@scalexm.fr>
Thu, 1 Nov 2018 14:09:02 +0000 (15:09 +0100)
committerscalexm <alexandre@scalexm.fr>
Tue, 13 Nov 2018 11:28:43 +0000 (12:28 +0100)
commit79b6c41bc2d4e9cb9a0c92c0c446882a0cf1a804
tree946cb4e9aba39535602dea511fd4e180be47a541tree | snapshot
parent156a932eef5eff43850167151023b58f96f13a10commit | diff
Use a dummy outlives requirement for `where Type:,` (see #53696)
A `WF(Type)` predicate was used previously, which did not play
well with implied bounds in chalk.
src/librustc_traits/lowering/mod.rs diff | blob | history
src/librustc_typeck/collect.rs diff | blob | history
src/librustdoc/clean/mod.rs diff | blob | history
src/test/ui/chalkify/lower_trait_where_clause.stderr diff | blob | history
Empowering everyone to build reliable and efficient software.