Conditional Implicit Definitions Scala

Question

I have to solve this quinz but i can't find the correct answer.

trait Physics {
  implicit def air: Gaz,
  implicit def condense(implicit gaz: Gaz): Liquid,
  implicit def freeze(implicit liquid: Liquid): Solid

  implicitly[Solid]
}

Can you rewrite the last line with the inferred parameter explicitly written?

Hint: It should look like implicitly[Solid](...

Thank you so much!

Yes, but even after rereading the documentation I can't find the correct solution — , Apr 12 '20 at 10:44
I also spent an hour to understand what that question means. Another hint: put things in order, and remove any space. — BMWCMW, Apr 14 '20 at 18:02

score 3 · Answer 1 · answered Apr 12 '20 at 11:05

Here is a hint: first consider implicitly is just a method like any other

def implicitly[T](implicit e: T): T = e

Lets remove the keyword implicit such that

def implicitly[T](e: T): T = e

Given implicitly is just a method taking arguments, think about what would you have to do to make compiler happy and have method implicitly return a Solid?

Conditional Implicit Definitions Scala

1 Answers1