{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
/// that normalization will succeed, for example.
/// This is appropriate to use only after type-check: it assumes
pub(crate) fn normalize(db: &dyn HirDatabase, trait_env: Arc<TraitEnvironment>, ty: Ty) -> Ty {