jroesch

λ 169-231-106-204 rust → λ git generalize-impl-bounds* → RUST_BACKTRACE=1 RUST_LOG=rustc_typeck::check::compare_method=debug x86_64-apple-darwin/stage1/bin/rustc src/test/compile-fail/regions-bound-missing-bound-in-impl.rs
DEBUG:rustc_typeck::check::compare_method: compare_impl_method(impl_trait_ref=TraitRef('aint, Foo<'a>))
DEBUG:rustc_typeck::check::compare_method: impl_trait_ref (liberated) = TraitRef('aint, Foo<'a>)
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_to_skol_substs=Substs[types=[[];[&'a int];[]], regions=[[ReFree(109, BrNamed(DefId { krate: 0, node: 179 }, 'a))];[];[ReFree(109, BrNamed(DefId { krate: 0, node: 97 }, 'b))]]]
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: impl_bounds=GenericBounds([[];[];[Binder(OutlivesPredicate(ReFree(109, BrNamed(DefId { krate: 0, node: 97 }, 'b)), ReFree(109, BrNamed(DefId { krate: 0, node: 179 }, 'a))))]])
DEBUG:rustc_typeck::check::compare_method: compare_impl_method: trait_bounds=GenericBounds([[];[];[]])
DEBUG:rustc

jroesch

trait Foo<T> {
    fn meth(&self) where T: Copy {}
}

impl<T> Foo<T> for int {
    fn meth(&self) where T: Eq {}
}

fn main() {
    Foo::<int>::meth(&1);

jroesch

module TypedLogic

import Data.SortedMap

data LType : Type where
  FreshType : LType
  Atom : String -> LType
  DisjUnion : LType -> LType -> LType
  Relation : (Vect n LType) -> LType

jroesch

#![feature(associated_types)]
trait N {
      type Repr;
}

trait SizedVec<A: N> {}

fn main() {}

jroesch

class Request where
    data R
    ...
    
class Response where
    data R
    
class (Request Req, Response Resp) => Http where
    data Req
    data Resp

jroesch

module Main

listToVect : (n: Nat) -> List a -> Maybe (Vect n a)
listToVect Z Nil = Just Nil
listToVect n Nil = Nothing
listToVect (S n) (x :: xs) = map (x ::) (listToVect n xs)

jroesch

import shapeless._

...

jroesch

        config.vm.provider :vmware_fusion do |vm|

            vdiskmanager = '/Applications/VMware\ Fusion.app/Contents/Library/vmware-vdiskmanager'

            dir = "#{ENV['HOME']}/vagrant-additional-disk"

            unless File.directory?( dir )
                Dir.mkdir dir
            end

jroesch

use std::fmt::{Formatter, Show, FormatError};

trait Nat {}

struct Z;
struct Succ<N> {
  pred: Box<N>
}

impl Nat for Z {}

jroesch

use std::fmt::{Formatter, Show, FormatError};

trait HList {
  fn cons<H>(self, xs: H) -> HCons<H, Self>;
}

struct HCons<H, T> {
  head: H,
  tail: Box<T>
}