Function identity::lift::ty_const

pub fn ty_const<X: ?Sized>() -> Const<X>