e.g. const x = 1; const x = 2; Should throw a TypeError since x cannot be declared twice.
It looks like we just need to check if the readonly-ness of a property in LLINT_SLOW_PATH_DECL(slow_path_put_to_scope) and operationPutToScope in JITOperations since ResolveType is always Dynamic for readonly properties.