7 lines
135 B
Coq
7 lines
135 B
Coq
|
// Check that automatic lifetime cannot be specified for variables declared in
|
||
|
|
// a package.
|
||
|
|
|
||
|
|
package P;
|
||
|
|
automatic int x;
|
||
|
|
endpackage
|