tag:blogger.com,1999:blog-696719307153090038.post1227499672973406415..comments2023-06-10T15:15:29.385-04:00Comments on Struggling Through Problems: Proving type equality in a Scala pattern matchOwenhttp://www.blogger.com/profile/09697040246092989242noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-696719307153090038.post-71941275809379545772016-08-05T04:35:14.081-04:002016-08-05T04:35:14.081-04:00Thanks for posting this. I've been wondering a...Thanks for posting this. I've been wondering about a solution to this for a while. Just a note: How would you use the `pf` variable on line 8 in a pattern match for the containing case class?jpcooperhttps://www.blogger.com/profile/09599409291072857298noreply@blogger.com