Yoric/Marv-the-Tinker — Issue #7: Implement type guards
Author: Yoric
Created: 2012-03-09 20:02:46+00:00
State: open
Labels: Feature

I would like Marv to be able to introduce type guards from type annotations:

```javascript
/**
* @param {string} x
*/
function(x) {
foo();
}
```

```javascript
function(x) {
if (!(typeof x == "string")) {
throw new TypeError(...);
}
foo();
}
```