Function type_checking::checker::checked_type_from_ty

pub fn checked_type_from_ty<'src, 'ast>(
    ty: &'ast Type<'src>, 
    context: &SemanticContext<'_, 'src>, 
    type_system: &TypeSystem<'src, 'ast>, 
    void_handling: VoidIs
) -> CheckedType<'src>