This will require using the `contains_managed` intrinsic in the modules, and continuing on with the work in trans from #7605.