tree d2283dfcf27ad9dfed598f85e560381efe399fb4
parent 4b6ef00d5996471274a1e685eb32c55419482cf7
author Regis Crelier <regis@google.com> 1455043783 -0800
committer Regis Crelier <regis@google.com> 1455043783 -0800

Keep a trail while checking upper bounds in the VM in order to properly handle
cycles via bounds (fixes #25568).
Add a regression test.
Improve handling of recursive types with trails.
Make sure we do not modify already canonicalized types.

R=rmacnak@google.com

Review URL: https://codereview.chromium.org/1674383002 .