[23] Flow analysis fails to recognize initialization in an instance initializer block

[jarthana]

This is somewhat an opposite of #3116. Here's the testcase:

public class X {
	final int fin;
	{
		fin = 0;
	}
	X() {
		int abc = 0; // Commenting out this line brings out the error
		// fin = 5; // Swapping this line with the one below also produces the correct error.
		this(fin = 10);
	}
	X(int x) {}
}

This may be specific to invocation between constructors. I am not sure, though. Copying @stephan-herrmann

[stephan-herrmann]

Scratch my first guess, didn't see the instance initializer.
I should look at it in more leisure at another time :)

[stephan-herrmann]

Fixed by #3749