Function unknown_const 

pub fn unknown_const<'db>(_ty: Ty<'db>) -> Const<'db>