Merge pull request #18987 from ChayimFriedman2/drop-glue

feat: Calculate drop glue and show it on hover
This commit is contained in:
Lukas Wirth 2025-02-24 13:52:17 +00:00 committed by GitHub
commit 93bd36dfb9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
13 changed files with 1002 additions and 6 deletions

View file

@ -30,6 +30,7 @@ extern crate ra_ap_rustc_hashes as rustc_hashes;
mod builder;
mod chalk_db;
mod chalk_ext;
mod drop;
mod infer;
mod inhabitedness;
mod interner;
@ -87,6 +88,7 @@ use crate::{
pub use autoderef::autoderef;
pub use builder::{ParamKind, TyBuilder};
pub use chalk_ext::*;
pub use drop::DropGlue;
pub use infer::{
cast::CastError,
closure::{CaptureKind, CapturedItem},