/* Ċ Ġ* ĠCopyright Ġ 2 0 1 0 - 2 0 1 9 ĠJetBrains Ġs . r . o . Ġand ĠKotlin ĠProgramming ĠLanguage Ġcontributors . Ċ Ġ* ĠUse Ġof Ġthis Ġsource Ġcode Ġis Ġgoverned Ġby Ġthe ĠApache Ġ 2 . 0 Ġlicense Ġthat Ġcan Ġbe Ġfound Ġin Ġthe Ġlicense / LICENSE . txt Ġfile . Ċ Ġ*/ Ċ Ċ package Ġorg . jetbrains . kotlin . types . model Ċ Ċ fun ĠType Variable Marker . fresh Type Constructor ( c : ĠType System Inference Extension Context ) Ġ= Ġwith ( c ) Ġ{ Ġfresh Type Constructor () Ġ} Ċ fun ĠType Subst it utor Marker . safe Subst itute ( ĊĠĠĠ Ġc : ĠType System Inference Extension Context , ĊĠĠĠ Ġtype : ĠKotlin Type Marker Ċ ) Ġ= Ġwith ( c ) Ġ{ Ġsafe Subst itute ( type ) Ġ} Ċ Ċ fun ĠType Variable Marker . default Type ( c : ĠType System Inference Extension Context ) Ġ= Ġwith ( c ) Ġ{ Ġdefault Type () Ġ}