Mark analyzer test as failing.

Add minimal example to lib/mirrors.

R=ricow@google.com

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

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41097 260f80e4-7a28-3924-810f-c04153c831b5
Allow analyzer to distinguish unresolved types from dynamic.

This makes it possible to correctly report checked mode compile time
errors in the event of unresolved typenames.

BUG=dartbug.com/16391
R=brianwilkerson@google.com

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

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41098 260f80e4-7a28-3924-810f-c04153c831b5
Fix captured parameters and optimized try-catch.

The stack slots of captured parameters must be skipped when
generating sync code in optimized try-catch. Since those parameters
are initially copied into the context, their values are not recorded
in the environment.

Store-to-load forwarding may though use the original initial value
from the stack and therefore it must not be overwritten by try-sync
code that predeeds every call inside optimized try-blocks.

R=srdjan@google.com

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

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge@41099 260f80e4-7a28-3924-810f-c04153c831b5