[flang] Semantic checks for constraints on types
drwxr-xr-x - flang