Description Adam Kiezun 2002-05-07 12:51:11 EDT

20020502
package p;
class S{
	void f(int y){
		/*[*/if (y == 0)
			return;
		f(3);/*]*/
		f(4);	
	}
}

contrary to what the error message says all execution branches in the selected 
fragment do end with a return (the last is implicit) and it would be possible 
to extract a method here.

the method 'f' being void is important - only then is the implicit return added