+
Point of view
IMPLICIT_CAST
class JVM
require
- not lt.canonical_type_mark.is_kernel_expanded
require
- not lt.canonical_type_mark.is_kernel_expanded
kernel_expanded_convert (source:
TYPE, destination:
TYPE)
frozen
effective procedure
require
- source.can_be_assigned_to(destination)