Skip to content

Commit

Permalink
[Normalizer][easy] TypeDestructorTriggerT becomes Bot
Browse files Browse the repository at this point in the history
Summary: This was responsible for an `| any` part in types where `TypeDestructorTriggerT` had appeared.

Reviewed By: avikchaudhuri

Differential Revision: D7760194

fbshipit-source-id: 99d8a8b66d38ff1fa45e3889caaa12be50ea36da
  • Loading branch information
panagosg7 authored and facebook-github-bot committed Apr 26, 2018
1 parent 005ff16 commit 555d8ba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/typing/ty_normalizer.ml
Original file line number Diff line number Diff line change
Expand Up @@ -623,7 +623,7 @@ end = struct
| OpaqueT (r, o) -> opaque_t ~env r o None
| ReposT (_, t) -> type__ ~env t
| ShapeT t -> type__ ~env t
| TypeDestructorTriggerT _ -> return Ty.Any
| TypeDestructorTriggerT _ -> return Ty.Bot
| MergedT (_, uses) -> merged_t ~env uses
| ExistsT _ -> return Ty.Exists
| ObjProtoT _ -> return (Ty.builtin_t "Object.prototype")
Expand Down

0 comments on commit 555d8ba

Please sign in to comment.