[BUG] @val raises "Type cannot be resolved" on generic code

[pedrolamarao]

Describe the bug

.../LombokValTest.java:43: error: Cannot use 'val' here because initializer expression does not have a representable type: Type cannot be resolved
                val decrypted = decipher.doFinal(encrypted);

To Reproduce

package prodist.java.sts;

import static org.junit.jupiter.api.Assertions.assertArrayEquals;

import java.security.KeyStore;
import java.security.KeyStore.PrivateKeyEntry;
import java.security.Provider;
import java.util.concurrent.ThreadLocalRandom;

import javax.crypto.Cipher;

import org.opentest4j.TestAbortedException;

import lombok.val;

public class LombokValTest
{
	private final Provider providerUnderTest = null;
	
	public void decrypt () throws Exception
	{		
		val keyStore = KeyStore.getInstance(KeyStore.getDefaultType());
		keyStore.load(null);
		
		val keys = (PrivateKeyEntry) keyStore.getEntry("alias", null);
		
		val in = new byte[32];
		ThreadLocalRandom.current().nextBytes(in);
		
		// #XXX: lombok val bugs
		val cipher = assumeNoThrow("AES cipher", () -> {
			val x = Cipher.getInstance("AES");
			x.init(Cipher.ENCRYPT_MODE, keys.getCertificate().getPublicKey());
			return x;
		});

		val decipher = Cipher.getInstance("AES", providerUnderTest);
		decipher.init(Cipher.DECRYPT_MODE, keys.getPrivateKey());
		
		val encrypted = cipher.doFinal(in);
		val decrypted = decipher.doFinal(encrypted);
		
		assertArrayEquals(in, decrypted);
	}
    
    @FunctionalInterface
    static interface ThrowableSupplier <T>
    {
    	T apply () throws Throwable;
    }
    
    public static <T> T assumeNoThrow (String name, ThrowableSupplier<T> procedure)
    {
    	try
		{
			return procedure.apply();
		}
    	catch (Throwable e)
		{
			throw new TestAbortedException("test requirement not met: " + name, e);
		}
    }
}

Expected behavior
I expect @val to correctly deduce the type of cipher.
Replacing @val with final Cipher produces a successful compilation.
It seems that the assumeNoThrow trick is too clever and type information gets lost.

Version info (please complete the following information):

• Lombok version = 1.18.18
• OpenJDK javac version = 1.8.0_265

Additional context
Our production builds is driven by Gradle 6.8.3.
The Eclipse plugin (same Lombok version) does not mark errors at the commented line and completes compilation successfully.

[Rawi01]

Can confirm that this does not work but the problem is that you use val on the left hand and on the right hand side of the assignment inside the supplier. If you replace val x with Cipher x it compiles too. I just created a PR to fix this.