feat: Implement cast typechecks

This commit is contained in:
Shoyu Vanilla 2024-08-29 00:12:16 +09:00
parent 304e5f58cd
commit d186bdc617
25 changed files with 1614 additions and 93 deletions

View file

@ -83,6 +83,7 @@ pub use autoderef::autoderef;
pub use builder::{ParamKind, TyBuilder};
pub use chalk_ext::*;
pub use infer::{
cast::CastError,
closure::{CaptureKind, CapturedItem},
could_coerce, could_unify, could_unify_deeply, Adjust, Adjustment, AutoBorrow, BindingMode,
InferenceDiagnostic, InferenceResult, OverloadedDeref, PointerCast,