Consider a record: ```java public record Customer(@Id Integer id, String name) {} ``` And a corresponding repository: ```java public interface CustomersRepo extends Repository<Customer, Integer> { } ``` Now, one of the method completion proposal should have `Name` proposal for: ```java public interface CustomersRepo extends Repository<Customer, Integer> { findBy^ } ```