A two-argument Java programming language keyword that tests whether the run-time type of its first argument is assignment compatible with its second argument.