Hey guys, quick question about the type system. Th...
# getting-started
t
Hey guys, quick question about the type system. This code typechecks in IDEA:
Copy code
// Potentially empty list of logins
val logins: List<Login> = loginRepository.findAllByUsername(email)
// first() returns a non-null Login         
val login: Login = logins.first()