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

Fix #7013: 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 cases, please check.