bors[bot] a57bd59f35

Merge #8813 ...

8813: Get some more array lengths! r=lf- a=lf-

This is built on #8799 and thus contains its changes. I'll rebase it onto master when that one gets merged. It adds support for r-a understanding the length of:

* `let a: [u8; 2] = ...`
* `let a = b"aaa"`
* `let a = [0u8; 4]`

I have added support for getting the values of byte strings, which was not previously there. I am least confident in the correctness of this part and it probably needs some more tests, as we currently have only one test that exercised that part (!).

Fixes #2922.

Co-authored-by: Jade <software@lfcode.ca>

2021-05-16 01:53:12 +00:00

..

body

Add support for lengths in array repeats, if they are literals

2021-05-12 21:22:46 -07:00

item_tree

Precompute macro fragment kind

2021-05-09 01:36:06 +02:00

nameres

Move AttrId back into hir_def

2021-05-10 16:35:06 +02:00

path

Reuse database in LowerCtx

2021-05-06 23:23:50 +02:00

adt.rs

Global TypeRef/TraitRef interning

2021-04-01 19:46:43 +02:00

attr.rs

Rewrite attr.rs to allow using syntax-based indices

2021-05-10 21:50:42 +02:00

body.rs

Cleanup imports

2021-05-13 13:44:47 +03:00

builtin_attr.rs

Add builtin macro-like attributes

2021-03-19 14:33:31 +01:00

builtin_type.rs

Introduce TypeCtor::Scalar

2021-02-28 01:20:04 +01:00

child_by_source.rs

Insert unnamed consts to ChildBySource DynMap

2021-04-09 17:14:48 +02:00

data.rs

hir_def: various cleanups

2021-04-18 18:35:45 +02:00

db.rs

Avoid O(n²) when constructing AttrSourceMap

2021-04-06 22:25:44 +02:00

diagnostics.rs

Include path in unresolved-macro-call diagnostic

2021-04-16 15:48:03 +02:00

dyn_map.rs

…

expr.rs

Add support for lengths in array repeats, if they are literals

2021-05-12 21:22:46 -07:00

find_path.rs

Return absolute paths in find_path if crate start is ambiguous

2021-05-13 02:53:32 +02:00

generics.rs

Intern GenericParams

2021-04-05 03:50:10 +02:00

import_map.rs

Make MacroDefId's AstId mandatory when possible

2021-03-18 15:37:14 +01:00

intern.rs

Interned<T>: Only hash the pointer

2021-04-05 17:07:53 +02:00

item_scope.rs

Collect trait impls inside unnamed consts

2021-04-07 03:33:22 +02:00

item_tree.rs

Precompute macro fragment kind

2021-05-09 01:36:06 +02:00

keys.rs

Add ConstParams to the HIR

2021-01-01 10:06:42 +01:00

lang_item.rs

Make public DefMap fields private

2021-01-20 15:41:18 +01:00

lib.rs

Rewrite attr.rs to allow using syntax-based indices

2021-05-10 21:50:42 +02:00

nameres.rs

Precompute macro fragment kind

2021-05-09 01:36:06 +02:00

path.rs

Reuse database in LowerCtx

2021-05-06 23:23:50 +02:00

per_ns.rs

deduplicate macro completions from legacy macros and prelude

2020-12-31 13:41:49 -07:00

resolver.rs

Intern GenericParams

2021-04-05 03:50:10 +02:00

src.rs

Make ItemTreeId its own type

2021-03-18 01:53:22 +01:00

test_db.rs

Fix TestDB::module_at_position with submodules

2021-04-17 03:34:05 +02:00

trace.rs

Use ‘index’ terminology for arena consistently

2021-01-17 18:38:08 +11:00

type_ref.rs

Address final feedback

2021-05-15 18:51:18 -07:00

visibility.rs

Don't store call-site text offsets in hygiene info

2021-05-06 19:59:54 +02:00