Ensure types to help dart2js