// @flow strict-local

import type {T} from './import'; // Error: untyped-type-import
import type {S} from './nonstrict_import'; // No error

0 as T;

function f(x: number) {
  x = 1; // Error: cannot reassign constant parameter
}

const x: any = {}; // Error: unclear-type
