// Test case for issue #3711: https://github.com/typetools/checker-framework/issues/3710 | |
public class Issue3710 { | |
int returnIntWithLocalVariable(char c) { | |
int i = c; | |
return i; | |
} | |
long returnLongWithLocalVariable(char c) { | |
long l = c; | |
return l; | |
} | |
int returnIntWithoutLocalVariable(char c) { | |
return c; | |
} | |
long returnLongWithoutLocalVariable(char c) { | |
return c; | |
} | |
} |