Allow rescuing exceptions that include a module

[Blacksmoke16]

Resolves #14552

[straight-shoota]

issue: Actually, I think the one-line change doesn't cut it. I hadn't though about union types, so the additional spec is very helpful to realize that. We need to make sure to accept a union of module types as well.

[Blacksmoke16]

👍 I'll add a spec for that, it definitely worked fine when I was manually playing around with things. I specifically wanted to ensure when you rescue via a module, the compiler knows the exception is an instance of that module in regards to the abstract methods on said module. Kinda makes me wish we could had intersection types to do rescue ex : Foo & Bar to rescue exceptions that include both vs one or the other 😅.

[ysbaddaden]

Maybe just one spec to verify that it won't match any module?

module Foo; end
module Bar; end

class Ex < Exception
  include Foo
end

x = 0
begin
  begin
    raise Ex.new("oh no")
  rescue Bar
    x = 1
  end
rescue ex
  ex.message
end