Giacomo Pasini c5d4e4d907 Remove DropAndReplace terminator ...

PR 107844 made DropAndReplace unused, let's remove it completely
from the codebase.

2023-03-07 14:25:22 +01:00

..

check.rs

Remove DropAndReplace terminator

2023-03-07 14:25:22 +01:00

mod.rs

remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata

2023-02-16 17:05:56 -07:00

ops.rs

Modify existing bounds if they exist

2023-02-06 11:26:36 -08:00

post_drop_elaboration.rs

Remove DropAndReplace terminator

2023-03-07 14:25:22 +01:00

qualifs.rs

Reduce direct mk_ty usage.

2023-02-13 09:32:48 +11:00

resolver.rs

Remove DropAndReplace terminator

2023-03-07 14:25:22 +01:00