Return type of interfaces isn't checked correctly

[floitsch]

The following example doesn't yield any error:

interface A:
  foo -> int
  
class B implements A:
  foo -> string:
    return ""