abstract def from generic module not enforced when included

[z64]

This currently compiles without enforcing not_enforced:

abstract class A(K)
  abstract def test_a
end

module B
  abstract def test_b
end

module C(T)
  abstract def not_enforced
end

class Foo < A(Int32)
  include B
  include C(Int32)

  def test_a # OK, enforced
  end

  def test_b # OK, enforced
  end
end

Foo.new

https://carc.in/#/r/41ls

Crystal 0.24.2 [4f9ed8d03] (2018-03-08)

LLVM: 4.0.0
Default target: x86_64-unknown-linux-gnu

[asterite]

Yup, this is currently not checked.