bors[bot] eefbae7ed4

Merge #6921 ...

6921: Higher-ranked trait bounds for where clauses r=flodiebold a=Veykril

There is a slight problem with this which is also noted in a FIXME now but `LifetimeParameters` of these ForLifetime where clauses allocate the lifetimes in the corresponding arena as if they were lifetimes of the item itself and not just the clause they belong to. I wasn't entirely sure what I could do about this but given nothing really uses lifetimes like that currently I figured it might be fine? Open to suggestions for that problem.

Co-authored-by: Lukas Wirth <lukastw97@gmail.com>

2020-12-20 11:47:01 +00:00

..

body

Refactor attributes API to allow handling cfg_attr

2020-12-18 02:24:14 +01:00

item_tree

Don't look at attributes when lowering to ItemTree

2020-12-18 20:37:26 +01:00

nameres

fixture -> ra_fixture

2020-12-19 01:12:41 +01:00

path

Node-ify lifetimes

2020-12-16 14:16:09 +01:00

adt.rs

Refactor attributes API to allow handling cfg_attr

2020-12-18 02:24:14 +01:00

attr.rs

Add API for mapping Attr back to its syntax node

2020-12-19 15:15:02 +01:00

body.rs

Refactor attributes API to allow handling cfg_attr

2020-12-18 02:24:14 +01:00

builtin_attr.rs

…

builtin_type.rs

…

child_by_source.rs

…

data.rs

Refactor attributes API to allow handling cfg_attr

2020-12-18 02:24:14 +01:00

db.rs

Remove module_lang_items

2020-12-17 00:26:01 +01:00

diagnostics.rs

…

dyn_map.rs

…

expr.rs

…

find_path.rs

…

generics.rs

Higher-ranked trait bounds for where clauses

2020-12-17 22:01:42 +01:00

import_map.rs

…

item_scope.rs

Make macro def krate mandatory

2020-12-15 20:33:05 +01:00

item_tree.rs

Don't look at attributes when lowering to ItemTree

2020-12-18 20:37:26 +01:00

keys.rs

Add LifetimeParam resolving to Semantics

2020-12-14 16:04:28 +01:00

lang_item.rs

Remove module_lang_items

2020-12-17 00:26:01 +01:00

lib.rs

Add AttrDefId::krate

2020-12-17 14:29:29 +01:00

nameres.rs

…

path.rs

More accurate #[derive] parsing

2020-12-19 01:10:56 +01:00

per_ns.rs

…

resolver.rs

…

src.rs

Change HasChildSource::ChildId assoc item to generic param

2020-12-15 18:21:01 +01:00

test_db.rs

…

trace.rs

…

type_ref.rs

Node-ify lifetimes

2020-12-16 14:16:09 +01:00

visibility.rs

…