Fix #7013 by treating owned closures and traits as non-Const

The idea is that they can include arbitrary types, which may not be Const.

I'm not totally sure this is conceptually correct and catches all case, please check.