Original bug ID: 7409
Reporter: @gasche
Status: confirmed (set by @gasche on 2016-11-12T15:19:49Z)
Resolution: open
Severity: feature
Version: undecided
Category: typing
Parent of: #6784 #7386 #7388 #7389

Bug description

This meta-issue is meant to gather and reference issues that are related to the propagation of type information or type annotation during type-checking (typically for GADT typing and for disambiguation of type-ambiguous variant constructors and fields), as well as more syntactic techniques that also correspond to a propagation of path information (eg. turning { M.x = e1; y = e2 } into { M.x = e1; M.y = e2 }).