What does value as Account do at runtime?

What does value as Account do at runtime?

1. Nothing; the assertion is erased and does not inspect value.
2. It creates an Account instance and copies matching fields.
3. It throws if a required property is absent.
4. It converts every property to its declared type.