Post

Honestly, I think this is a shoe-horned use case for NoInfer. I think this would have been a simpler solution. It also yields a more specific result so it is better in my opinion.