fn test[T](val T) string {
	$if T is u32 {
		$compile_error('u32')
		return ''
	} $else $if T !is string {
		$compile_error('not string')
		return ''
	} $else {
		return val
	}
}

fn test_main() {
	assert test('str') == 'str'
}