NiklasHansen/Life — Issue #1: (0, 0) not allowed in Map indexer
Author: NiklasHansen
Created: 2011-11-28 22:00:20+00:00
State: open

When trying to use x = 0 and y = 0 in Map indexer taking to integers as parameters, a contract is violated, meaning that Location(0, 0) is inaccessible on the Map. The same is true for the indexer taking a Location as a parameter.

var map = new Map();
var res = map[0, 0]; // Contract violated
var res = map[new Location(0, 0)]; // Contract violated