"more implicit downcasts removed"