invalid type inference warnings with `extend-type`

Description

with warn-on-infer, code such as

results in the warning

Environment

None

Status

Assignee

Unassigned

Reporter

Matthew Huebert

Labels

None

Approval

None

Patch

None

Affects versions

Priority

Minor
Configure