Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
StringOffsetTest.java
blob: bff578061427299b0f6564a7ede390a7de66329e [
file
] [
log
] [
blame
]
public
class
StringOffsetTest
{
public
static
void
OffsetString
()
{
char
[]
chars
=
new
char
[
10
];
// :: error: (argument)
String
string2
=
new
String
(
chars
,
5
,
7
);
String
string3
=
new
String
(
chars
,
5
,
4
);
}
}