Dawer 9b841a9a04 Expand binding patterns.

2021-06-01 00:03:47 +05:00

..

diagnostics

Expand binding patterns.

2021-06-01 00:03:47 +05:00

infer

Update salsa

2021-05-27 15:05:41 +02:00

tests

hir_ty: don't pass where clauses of associated types down to chalk (temp. fix #9052)

2021-05-30 19:21:08 +02:00

autoderef.rs

Profile trait solving for all invocations

2021-04-14 19:11:17 +03:00

builder.rs

Fix warnings & format

2021-05-21 17:48:34 +02:00

chalk_db.rs

hir_ty: don't pass where clauses of associated types down to chalk (temp. fix #9052)

2021-05-30 19:21:08 +02:00

chalk_ext.rs

Rewrite coercion using the new unification

2021-05-21 17:48:33 +02:00

consteval.rs

Address final feedback

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

db.rs

Rework obligation handling

2021-05-21 17:48:34 +02:00

diagnostics_sink.rs

internal: move diagnostics to hir

2021-05-25 17:49:59 +03:00

diagnostics.rs

Update match checking.

2021-06-01 00:03:45 +05:00

display.rs

Hide -> () in Fn traits

2021-05-25 15:23:52 +02:00

infer.rs

hir_ty: use async ret type for inference inside async bodies

2021-05-29 18:17:45 +02:00

interner.rs

Improve debug printing without TLS

2021-05-21 17:48:34 +02:00

lib.rs

internal: move diagnostics to hir

2021-05-25 17:49:59 +03:00

lower.rs

internal: rename hypothetical -> speculative

2021-05-24 22:21:25 +03:00

mapping.rs

…

method_resolution.rs

Rework obligation handling

2021-05-21 17:48:34 +02:00

op.rs

…

primitive.rs

…

test_db.rs

…

tests.rs

Move hir_ty incremental test to its own file

2021-05-27 20:21:52 +02:00

tls.rs

Improve debug printing without TLS

2021-05-21 17:48:34 +02:00

traits.rs

Update salsa

2021-05-27 15:05:41 +02:00

utils.rs

Rewrite all_super_trait_refs as an iterator

2021-04-29 20:18:41 +02:00

walk.rs

…