Function unknown_const_as_generic 

pub fn unknown_const_as_generic<'db>(ty: Ty<'db>) -> GenericArg<'db>