| commit | 10d2829a0bc801e71e40057667acfec71f986ec9 | |
| author | Sasha Manzyuk <manzyuk@fb.com> | |
| Wed, 2 Oct 2019 17:28:57 +0000 (2 10:28 -0700) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 2 Oct 2019 17:30:45 +0000 (2 10:30 -0700) | ||
| tree | c27adcd5b7817357483f7595e84ffcafcef6e8c9 | treesnapshot (tar.gz zip) |
| parent | b12325579112d30e7e413778d1512a36d016e091 | commitdiff |
Remove special treatment of equality where constraints involving type accesses
Summary: The comment above `Typing_generic_constraint.handle_eq_tconst_constraint` mentions some mysterious unresolved types that can grow as a reason why this function exists. Does it still have to now that we have constraint-based type inference?
Reviewed By: andrewjkennedy
Differential Revision: D17550152
fbshipit-source-id: f8b5b980f377058d18f1cafc68452fb91667cd17
Summary: The comment above `Typing_generic_constraint.handle_eq_tconst_constraint` mentions some mysterious unresolved types that can grow as a reason why this function exists. Does it still have to now that we have constraint-based type inference?
Reviewed By: andrewjkennedy
Differential Revision: D17550152
fbshipit-source-id: f8b5b980f377058d18f1cafc68452fb91667cd17