hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers
https://hephaestus-compiler-project.github.io/
GNU General Public License v3.0
49 stars 10 forks source link

Implementation errors #12

Closed StefanosChaliasos closed 3 years ago

StefanosChaliasos commented 3 years ago

For a more comprehensive list look at #10.

fun sugarier(lanky: Any): Syringed { var cinches: Syringed = caterings(Huddled()) // not enough information to infer type variable H return cinches }

- [x] `return type of 'blackish' is not a subtype of the return type of the overridden member` -- Supertype Creator (fb2dc229e3ae4f9b37966b03ec664ae60554314e)
```kotlin
open class Ralph<in E>(open var beautify: E) {}

// Adds Picasso
open class Picasso() {
  open fun blackish(): Ralph<Number> =
    Ralph(-67)
}

class Graphic(): Picasso() {
override fun blackish() =
  Ralph(-67)
}