Trace unification from repositioning a resolved tvar
Trace unification from repositioning a resolved tvar

Summary: Helpful for verbose output debugging

Reviewed By: mroch

Differential Revision: D4121372

fbshipit-source-id: cda1a9575f7abe5afc76d45eb27ad8e3dc2e19f0

samwgoldman/flow,nmote/flow,samwgoldman/flow,jamesgpearce/flow,samwgoldman/flow,fletcherw/flow,gabelevi/flow,fletcherw/flow,jamesgpearce/flow,JonathanUsername/flow,jamesgpearce/flow,ForbesLindesay/flow,AgentME/flow,popham/flow,TiddoLangerak/flow,gabelevi/flow,ylu1317/flow,JonathanUsername/flow,claudiopro/flow,ylu1317/flow,AgentME/flow,samwgoldman/flow,mroch/flow,mroch/flow,gabelevi/flow,mroch/flow,ylu1317/flow,samwgoldman/flow,gabelevi/flow,JonathanUsername/flow,gabelevi/flow,nmote/flow,nmote/flow,popham/flow,gabro/flow,gabelevi/flow,jamesgpearce/flow,AgentME/flow,MichaelDeBoey/flow,ylu1317/flow,jamesgpearce/flow,MichaelDeBoey/flow,ForbesLindesay/flow,gabelevi/flow,facebook/flow,facebook/flow,ForbesLindesay/flow,fletcherw/flow,gabro/flow,JonathanUsername/flow,ForbesLindesay/flow,jamesgpearce/flow,JonathanUsername/flow,JonathanUsername/flow,TiddoLangerak/flow,popham/flow,mroch/flow,AgentME/flow,facebook/flow,facebook/flow,claudiopro/flow,MichaelDeBoey/flow,samwgoldman/flow,facebook/flow,nmote/flow,JonathanUsername/flow,facebook/flow,TiddoLangerak/flow,TiddoLangerak/flow,gabro/flow,fletcherw/flow,facebook/flow,claudiopro/flow,ForbesLindesay/flow,ylu1317/flow,TiddoLangerak/flow,popham/flow,gabro/flow,MichaelDeBoey/flow,nmote/flow,ForbesLindesay/flow,nmote/flow,fletcherw/flow,mroch/flow,MichaelDeBoey/flow,popham/flow,popham/flow,claudiopro/flow,jamesgpearce/flow,claudiopro/flow,fletcherw/flow,samwgoldman/flow,nmote/flow,AgentME/flow,mroch/flow,gabro/flow,popham/flow,mroch/flow,gabro/flow