{"ast_node_type":"function","tokens":[{"end":95,"kind":"keyword","start":0,"text":"pub(crate)"}]}
pub(crate) fn normalize(db: &dyn HirDatabase, trait_env: Arc<TraitEnvironment>, ty: Ty) -> Ty {
/// that normalization will succeed, for example.
    // FIXME: TypeFlags::HAS_CT_PROJECTION is not implemented in chalk, so TypeFlags::HAS_PROJECTION only