make ParamLoweringMode accessible

This commit is contained in:
Johannes Hostert 2023-12-06 15:11:45 +01:00
parent 77e362c34d
commit 374affea3c
No known key found for this signature in database
GPG Key ID: 0BA6032B5A38D049

View File

@ -73,8 +73,8 @@ macro_rules! eprintln {
}; };
pub use interner::Interner; pub use interner::Interner;
pub use lower::{ pub use lower::{
associated_type_shorthand_candidates, CallableDefId, ImplTraitLoweringMode, TyDefId, associated_type_shorthand_candidates, CallableDefId, ImplTraitLoweringMode, ParamLoweringMode,
TyLoweringContext, ValueTyDefId, TyDefId, TyLoweringContext, ValueTyDefId,
}; };
pub use mapping::{ pub use mapping::{
from_assoc_type_id, from_chalk_trait_id, from_foreign_def_id, from_placeholder_idx, from_assoc_type_id, from_chalk_trait_id, from_foreign_def_id, from_placeholder_idx,