fn pat_type(&self, cx: &ExtCtxt, atom: &Atom, opts: &Options) -> P<ast::Ty> {
        let sp = codemap::DUMMY_SP;
        match (opts.repeats, &opts.arg) {
            (false, &Zero) => {
                match atom {
                    &Positional(_) => cx.ty_ident(sp, ident("String")),
                    _ => cx.ty_ident(sp, ident("bool")),
                }
            }
            (true, &Zero) => {
                match atom {
                    &Positional(_) => ty_vec_string(cx),
                    _ => cx.ty_ident(sp, ident("uint")),
                }
            }
            (false, &One(_)) => cx.ty_ident(sp, ident("String")),
            (true, &One(_)) => ty_vec_string(cx),
        }
    }
/// Returns an inferred type for a usage pattern.
/// This is only invoked when a type annotation is not present.
Returns an inferred type for a usage pattern.
This is only invoked when a type annotation is not present.
Returns an inferred type for a usage pattern . This is only invoked when a type annotation is not present .
fn pat_type(&self, cx: &ExtCtxt, atom: &Atom, opts: &Options) -> P<ast::Ty> {
        let sp = codemap::DUMMY_SP;
        match (opts.repeats, &opts.arg) {
            (false, &Zero) => {
                match atom {
                    &Positional(_) => cx.ty_ident(sp, ident("String")),
                    _ => cx.ty_ident(sp, ident("bool")),
                }
            }
            (true, &Zero) => {
                match atom {
                    &Positional(_) => ty_vec_string(cx),
                    _ => cx.ty_ident(sp, ident("uint")),
                }
            }
            (false, &One(_)) => cx.ty_ident(sp, ident("String")),
            (true, &One(_)) => ty_vec_string(cx),
        }
    }
fn pat_type ( & self , cx : & ExtCtxt , atom : & Atom , opts : & Options ) -> P < ast :: Ty > { let sp = codemap :: DUMMY_SP ; match ( opts . repeats , & opts . arg ) { ( false , & Zero ) => { match atom { & Positional ( _ ) => cx . ty_ident ( sp , ident ( " " ) ) , _ => cx . ty_ident ( sp , ident ( " " ) ) , } } ( true , & Zero ) => { match atom { & Positional ( _ ) => ty_vec_string ( cx ) , _ => cx . ty_ident ( sp , ident ( " " ) ) , } } ( false , & One ( _ ) ) => cx . ty_ident ( sp , ident ( " " ) ) , ( true , & One ( _ ) ) => ty_vec_string ( cx ) , } }
Returns an inferred type for a usage pattern.
Returns an inferred type for a usage pattern .
&self
cx
&ExtCtxt
atom
&Atom
opts
&Options
&self
cx
&ExtCtxt
atom
&Atom
opts
&Options