gajus / gajus/flow-runtime

Function intersections/unions in $ObjMap don't work

Open
#195 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
JavaScript
Stars
797
Forks
49
PR merge metrics
No merged PRs in 30d

Description

This is a:

- Bug Report

Which concerns:

- flow-runtime

---

### What is the current behaviour?

The following code breaks at runtime:
```js
type $DeepShape = Object &
$Shape<$ObjMap(V) => $DeepShape) & ((V) => V)>>;

type Thing = {
a: string,
b: string,
c: {
a: string,
}
}

type Hello = $DeepShape

const hello: Hello = {
b: 'hello',
}

console.log(hello)
```

The `$DeepShape` type is from https://github.com/facebook/flow/issues/5262.

---

### What is the expected behaviour?

The code should not break at runtime and should run without type errors.

---

### Which package versions are you using?

0.17.0

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.